Index: vmrun.sh
===================================================================
--- vmrun.sh	(revision 275446)
+++ vmrun.sh	(working copy)
@@ -173,7 +173,10 @@ echo "Launching virtual machine \"$vmname\" ..."
 
 virtio_diskdev="$disk_dev0"
 
-${BHYVECTL} --vm=${vmname} --destroy > /dev/null 2>&1
+if [ -c /dev/vmm/${vmname} ]; then
+	echo "VM ${vmname} is already running"
+	exit 1
+fi
 
 while [ 1 ]; do