From 49ed14152971f7f4a7437657987952be44c33c0a Mon Sep 17 00:00:00 2001
From: Rafael dos Santos Silva <xfalcox@gmail.com>
Date: Wed, 13 May 2020 15:41:47 -0300
Subject: [PATCH] wait a bit more if necessary for container stop

---
 launcher | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launcher b/launcher
index 82c6825..96b8869 100755
--- 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
 
-- 
2.25.1