changeset 18592 | f7c4eb60b0c3 |
parent 12455 | 92b2c876a79d |
18591:f58175f409b0 | 18592:f7c4eb60b0c3 |
---|---|
31 ? hg.pid |
31 ? hg.pid |
32 $ sleep 1 |
32 $ sleep 1 |
33 |
33 |
34 Are we able to kill the service? if not, the service died on some error |
34 Are we able to kill the service? if not, the service died on some error |
35 |
35 |
36 $ kill `cat hg.pid` |
36 $ "$TESTDIR/killdaemons.py" hg.pid |