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