fix deprecation

diff --git a/launcher b/launcher
index e15b1eb25dc564584bc0668a336e56a7294462d0..52d3711881d30077891c912daaf0e4eed0242ed3 100755 (executable)
--- a/launcher
+++ b/launcher
@@ -230,7 +230,7 @@ case "$command" in
              exit 1
            fi
 
-           found=`docker ps -q -a -notrunc | grep $cid`
+           found=`docker ps -q -a --notrunc | grep $cid`
            if [ -z $found ]
            then
              echo "Invalid cid file, deleting, please re-run"