wait a bit more if necessary for container stop

diff --git a/launcher b/launcher
index 82c682590623e728b32b607e7cc718aea128217b..96b8869aa7f14f0de5a9e0eef0964dcc305ef488 100755 (executable)
--- a/launcher
+++ b/launcher
@@ -806,7 +806,7 @@ case "$command" in
           echo "Stopping old container"
           (
             set -x
-            $docker_path stop -t 10 $config
+            $docker_path stop -t 60 $config
           )
       fi