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 |
