diff options
author | Christian Grothoff <christian@grothoff.org> | 2011-08-14 14:29:47 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2011-08-14 14:29:47 +0000 |
commit | 7cca71037c0b599fe950f341ca0f32a9df3aa171 (patch) | |
tree | 71f19ee14fae64fb8673c04661e16f38be40ae0e | |
parent | cf5f71ba15c897cd5768ea0dd644d1c9a6a4d4e2 (diff) | |
download | gnunet-7cca71037c0b599fe950f341ca0f32a9df3aa171.tar.gz gnunet-7cca71037c0b599fe950f341ca0f32a9df3aa171.zip |
docu
-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 ()) |