projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: ee5179f)
Stricter cleanup
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Wed, 12 Apr 2017 08:48:34 +0000 (10:48 +0200)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Wed, 12 Apr 2017 09:17:00 +0000 (11:17 +0200)
utils/ci/check_manual_usage_example.sh patch | blob | history

diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh
index 2d43e36..9d8b55d 100755 (executable)
--- a/utils/ci/check_manual_usage_example.sh
+++ b/utils/ci/check_manual_usage_example.sh
@@ -51,7 +51,8 @@ if ! timeout --version; then
     timeout --version
 fi
 # Initial cleanup
-pkill -f 'SCREEN -L -S sonemu' || true
+pkill --signal KILL -f 'SCREEN -L -S sonemu' || true
+sleep 1s
 screen -wipe || true
 rm -f screenlog.0