From 0c67b80b430bf441942f997aee2a0846fc065da0 Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil.gentili.dg@gmail.com>
Date: Tue, 29 Sep 2015 10:55:32 +0200
Subject: [PATCH] Update .travis.gigaclone

---
 .travis.gigaclone | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.gigaclone b/.travis.gigaclone
index 8557bff..84a42a3 100644
--- a/.travis.gigaclone
+++ b/.travis.gigaclone
@@ -2,8 +2,10 @@
 set -e
 dir="$PWD"
 git log -1 --pretty=%B | grep list && {
+n=0
 t() {
-  until [ "$(ps aux | grep wget | grep -v grep)" = "" ]; do echo Still working;sleep 60;done
+  until [ "$n" = "60" ]; do n=$(($n + 1)); echo Still working;sleep 60;done
+  killall wget
 }
 echo "Download everything."
 wget -i $dir/urllist -x -N -q -P $dir | t