From c7e788f5a4bd86d70421ec39da8826dcb80183a8 Mon Sep 17 00:00:00 2001 From: Daniil Gentili Date: Tue, 29 Sep 2015 11:09:54 +0200 Subject: [PATCH] Update .travis.gigaclone --- .travis.gigaclone | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.gigaclone b/.travis.gigaclone index 84a42a3..5b2d567 100644 --- a/.travis.gigaclone +++ b/.travis.gigaclone @@ -4,7 +4,7 @@ dir="$PWD" git log -1 --pretty=%B | grep list && { n=0 t() { - until [ "$n" = "60" ]; do n=$(($n + 1)); echo Still working;sleep 60;done + until [ "$n" = "60" ] || [ "$(ps aux | grep -v grep | grep wget)" = "" ]; do n=$(($n + 1)); echo Still working;sleep 60;done killall wget } echo "Download everything."