docu
authorChristian Grothoff <christian@grothoff.org>
Sun, 14 Aug 2011 14:29:47 +0000 (14:29 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 14 Aug 2011 14:29:47 +0000 (14:29 +0000)
contrib/gnunet_janitor.py.in

index c23cc28588fcaf39733ded062be3b38c747ea353..b1d15f3ad5a2e850ed8f4eeb7206ffa4d18489a3 100644 (file)
 #    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 ())