| changeset 18593 | 895d65364570 |
| parent 12456 | 1f74b0d0f485 |
| 18592:f7c4eb60b0c3 | 18593:895d65364570 |
|---|---|
26 ? hg.pid |
26 ? hg.pid |
27 $ sleep 1 |
27 $ sleep 1 |
28 |
28 |
29 Are we able to kill the service? if not, the service died on some error |
29 Are we able to kill the service? if not, the service died on some error |
30 |
30 |
31 $ kill `cat hg.pid` |
31 $ "$TESTDIR/killdaemons.py" hg.pid |