| branch | stable |
| changeset 1125 | 20a680e7f09f |
| parent 1124 | 6a5b8503058d |
| child 1126 | dbcb11553a3b |
| 1124:6a5b8503058d | 1125:20a680e7f09f |
|---|---|
1 #!/usr/bin/env python |
1 #!/usr/bin/env python |
2 |
2 |
3 import os, sys, time, errno, signal |
3 import os, time, errno, signal |
4 |
4 |
5 # Kill off any leftover daemon processes |
5 # Kill off any leftover daemon processes |
6 try: |
6 try: |
7 fp = open(os.environ['DAEMON_PIDS']) |
7 fp = open(os.environ['DAEMON_PIDS']) |
8 for line in fp: |
8 for line in fp: |