aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2011-08-14 14:29:47 +0000
committerChristian Grothoff <christian@grothoff.org>2011-08-14 14:29:47 +0000
commit7cca71037c0b599fe950f341ca0f32a9df3aa171 (patch)
tree71f19ee14fae64fb8673c04661e16f38be40ae0e
parentcf5f71ba15c897cd5768ea0dd644d1c9a6a4d4e2 (diff)
downloadgnunet-7cca71037c0b599fe950f341ca0f32a9df3aa171.tar.gz
gnunet-7cca71037c0b599fe950f341ca0f32a9df3aa171.zip
docu
-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 ())