diff options
Diffstat (limited to 'contrib/scripts/gnunet_janitor.py.in')
-rw-r--r-- | contrib/scripts/gnunet_janitor.py.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/scripts/gnunet_janitor.py.in b/contrib/scripts/gnunet_janitor.py.in index b0b50ca76..d6834bfb4 100644 --- a/contrib/scripts/gnunet_janitor.py.in +++ b/contrib/scripts/gnunet_janitor.py.in | |||
@@ -31,6 +31,7 @@ import time | |||
31 | import signal | 31 | import signal |
32 | import terminate | 32 | import terminate |
33 | 33 | ||
34 | |||
34 | def get_process_list(): | 35 | def get_process_list(): |
35 | result = [] | 36 | result = [] |
36 | pids = [pid for pid in os.listdir('/proc') if pid.isdigit()] | 37 | pids = [pid for pid in os.listdir('/proc') if pid.isdigit()] |