Allow user arguments to be passed to stop command part 2.

diff --git a/launcher b/launcher
index daf818ca3d10857d5052059aba51e9a5f4f18a0e..f59f99e542fadee62738f5b07f786f1a66b05978 100755 (executable)
--- a/launcher
+++ b/launcher
@@ -688,7 +688,7 @@ case "$command" in
 
 
   destroy)
-      (set -x; $docker_path stop -t 10 $config && $docker_path rm $config) || (echo "$config was not found" && exit 0)
+      (set -x; $docker_path stop -t 10 $user_args $config && $docker_path rm $config) || (echo "$config was not found" && exit 0)
       exit 0
       ;;
 esac