diff --git a/bin/runners/run-engine b/bin/runners/run-engine index 823bf0b3c..a1b82ec36 100755 --- a/bin/runners/run-engine +++ b/bin/runners/run-engine @@ -1,7 +1,8 @@ #!/bin/bash function checkStatus() { - if screen -ls $1 | grep -q "No Sockets found" + # wipe do : destroy old screens + ls + if screen -wipe $1 | grep -q "No Sockets found" then return 0 else