| changeset 7312 | 82f80c16fc16 |
| parent 7302 | 972737252d05 |
| child 7350 | c5dbe86b0fee |
| 7311:de9c87fe1620 | 7312:82f80c16fc16 |
|---|---|
27 touch g |
27 touch g |
28 hg add g |
28 hg add g |
29 hg mv e h |
29 hg mv e h |
30 hg status |
30 hg status |
31 |
31 |
32 |
32 sleep 1 |
33 sleep 5 |
|
34 echo "Are we able to kill the service? if not, the service died on some error" |
33 echo "Are we able to kill the service? if not, the service died on some error" |
35 kill `cat hg.pid` |
34 kill `cat hg.pid` |
36 |
35 |