| branch | stable |
| changeset 1124 | 6a5b8503058d |
| parent 1123 | 17bcbb020dda |
| child 1125 | 20a680e7f09f |
| 1123:17bcbb020dda | 1124:6a5b8503058d |
|---|---|
2 |
2 |
3 import os, sys, time, errno, signal |
3 import os, sys, 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 = file(os.environ['DAEMON_PIDS']) |
7 fp = open(os.environ['DAEMON_PIDS']) |
8 for line in fp: |
8 for line in fp: |
9 try: |
9 try: |
10 pid = int(line) |
10 pid = int(line) |
11 except ValueError: |
11 except ValueError: |
12 continue |
12 continue |