summaryrefslogtreecommitdiff
path: root/contrib
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 /contrib
parentcf5f71ba15c897cd5768ea0dd644d1c9a6a4d4e2 (diff)
docu
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 @@
# Boston, MA 02111-1307, USA.
#
# Finds any gnunet processes still running in the system and kills them
+#
+# gnunet janitor can be used by invoking `make' like this:
+# TESTS_ENVIRONMENT='${top_srcdir}/contrib/gnunet_janitor.py &&' make check
+
from __future__ import print_function
import os
import re
@@ -59,4 +63,4 @@ def main ():
os.kill (p[0], signal.SIGTERM)
if __name__ == '__main__':
- sys.exit (main ()) \ No newline at end of file
+ sys.exit (main ())