diff options
Diffstat (limited to 'contrib/gnunet_janitor.py.in')
-rw-r--r-- | contrib/gnunet_janitor.py.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/gnunet_janitor.py.in b/contrib/gnunet_janitor.py.in index c23cc2858..b1d15f3ad 100644 --- a/contrib/gnunet_janitor.py.in +++ b/contrib/gnunet_janitor.py.in | |||
@@ -18,6 +18,10 @@ | |||
18 | # Boston, MA 02111-1307, USA. | 18 | # Boston, MA 02111-1307, USA. |
19 | # | 19 | # |
20 | # Finds any gnunet processes still running in the system and kills them | 20 | # Finds any gnunet processes still running in the system and kills them |
21 | # | ||
22 | # gnunet janitor can be used by invoking `make' like this: | ||
23 | # TESTS_ENVIRONMENT='${top_srcdir}/contrib/gnunet_janitor.py &&' make check | ||
24 | |||
21 | from __future__ import print_function | 25 | from __future__ import print_function |
22 | import os | 26 | import os |
23 | import re | 27 | import re |
@@ -59,4 +63,4 @@ def main (): | |||
59 | os.kill (p[0], signal.SIGTERM) | 63 | os.kill (p[0], signal.SIGTERM) |
60 | 64 | ||
61 | if __name__ == '__main__': | 65 | if __name__ == '__main__': |
62 | sys.exit (main ()) \ No newline at end of file | 66 | sys.exit (main ()) |