diff options
Diffstat (limited to 'update_apt-panopticon')
-rwxr-xr-x | update_apt-panopticon | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_apt-panopticon b/update_apt-panopticon index 969cc8f..384ebdb 100755 --- a/update_apt-panopticon +++ b/update_apt-panopticon | |||
@@ -42,7 +42,7 @@ if [ "z" != "z${KEEPDAYS}" ] ; then | |||
42 | fi | 42 | fi |
43 | 43 | ||
44 | rm ../results; ln -s apt-panopticon/results_old ../results | 44 | rm ../results; ln -s apt-panopticon/results_old ../results |
45 | flock -n apt-panopticon.lock ionice -c3 nice -n 19 timeout --kill-after=20.0 --foreground 8.5m ./apt-panopticon.lua && rm apt-panopticon.lock | 45 | flock -n apt-panopticon.lock ionice -c3 nice -n 19 timeout --kill-after=20.0s --foreground 8.5m ./apt-panopticon.lua && rm apt-panopticon.lock |
46 | if [ -f apt-panopticon.lock ] ; then | 46 | if [ -f apt-panopticon.lock ] ; then |
47 | echo "apt-panopticon timed out." | 47 | echo "apt-panopticon timed out." |
48 | ./laggers | 48 | ./laggers |