diff options
Diffstat (limited to 'bin/runners/run-engine')
| -rwxr-xr-x | bin/runners/run-engine | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/runners/run-engine b/bin/runners/run-engine index 823bf0b3c6..a1b82ec365 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 |