tests/killdaemons.py
changeset 37892 89793289c891
parent 32876 ed1f376090cd
child 43076 2372284d9457
equal deleted inserted replaced
37891:b4b7427b5786 37892:89793289c891
   122     if len(sys.argv) > 1:
   122     if len(sys.argv) > 1:
   123         path, = sys.argv[1:]
   123         path, = sys.argv[1:]
   124     else:
   124     else:
   125         path = os.environ["DAEMON_PIDS"]
   125         path = os.environ["DAEMON_PIDS"]
   126 
   126 
   127     killdaemons(path)
   127     killdaemons(path, remove=True)