1 files changed, 9 insertions, 3 deletions
diff --git a/bin/vm b/bin/vm
index 1bc7f63..bd618e3 100755
--- a/bin/vm
+++ b/bin/vm
@@ -322,11 +322,17 @@ case "$ACTION" in
 		if [ "$DRY_RUN" = true ]; then
 			echo rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F"
 			echo kill "$PID"
-		else
-			rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F"
-			kill "$PID"
+			exit
 		fi
 
+
+		if [ "$VERBOSE" = true ]; then
+			set -x
+		fi
+		rm -f "$PID_F" "$SSH_PORT_F" "$PORTMAPS_F"
+		kill "$PID"
+		set +x
+
 		write_ssh_config
 		;;
 	*)