diff options
| author | ng0 <ng0@n0.is> | 2019-10-12 18:16:07 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-10-12 18:16:07 +0000 |
| commit | a5f5e7ed9b07b902af4438d76087e034abcba9b2 (patch) | |
| tree | 6f376f93f1c785103d0b30f54311a0f61d2bdced /contrib/scripts/gnunet_janitor.py.in | |
| parent | 8e827de2a1db34dfe15f5f9da2850ca469b5ecc3 (diff) | |
| download | gnunet-a5f5e7ed9b07b902af4438d76087e034abcba9b2.tar.gz gnunet-a5f5e7ed9b07b902af4438d76087e034abcba9b2.zip | |
format python
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()] |