aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
Diffstat (limited to 'contrib')
-rw-r--r--contrib/gnunet_janitor.py.in6
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
21from __future__ import print_function 25from __future__ import print_function
22import os 26import os
23import re 27import re
@@ -59,4 +63,4 @@ def main ():
59 os.kill (p[0], signal.SIGTERM) 63 os.kill (p[0], signal.SIGTERM)
60 64
61if __name__ == '__main__': 65if __name__ == '__main__':
62 sys.exit (main ()) \ No newline at end of file 66 sys.exit (main ())