diff options
| author | Yehonal <yehonal.azeroth@gmail.com> | 2016-08-29 13:39:53 +0200 |
|---|---|---|
| committer | Yehonal <yehonal.azeroth@gmail.com> | 2016-08-29 13:39:53 +0200 |
| commit | 453338a1ddc733caa5ad16cef4d6e275c80ac73a (patch) | |
| tree | 3f93d06f7affbd65422a269dc62c5799bfa51479 /bin | |
| parent | cf87d71765ca1f8e26905caf2993c697097b5aa4 (diff) | |
[BASH] fix run-engine issue with destroyed screen sessions
Diffstat (limited to 'bin')
| -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 |