projects
/
oweals
/
gnunet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cf5f71b
)
docu
author
Christian Grothoff
<christian@grothoff.org>
Sun, 14 Aug 2011 14:29:47 +0000
(14:29 +0000)
committer
Christian Grothoff
<christian@grothoff.org>
Sun, 14 Aug 2011 14:29:47 +0000
(14:29 +0000)
contrib/gnunet_janitor.py.in
patch
|
blob
|
history
diff --git
a/contrib/gnunet_janitor.py.in
b/contrib/gnunet_janitor.py.in
index c23cc28588fcaf39733ded062be3b38c747ea353..b1d15f3ad5a2e850ed8f4eeb7206ffa4d18489a3 100644
(file)
--- 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 ())