diff options
Diffstat (limited to 'pbot')
-rwxr-xr-x | pbot | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -12,9 +12,8 @@ then ./pbot-ng_fixer & pids[1]=$! -# The following commented because labs is down -# ./labs_change_detector & -# pids[2]=$! + ./labs_change_detector & + pids[2]=$! function closedown { |