equal
deleted
inserted
replaced
12 > if [ "$KILLQUIETLY" = "Y" ]; then |
12 > if [ "$KILLQUIETLY" = "Y" ]; then |
13 > kill `cat hg.pid` 2>/dev/null |
13 > kill `cat hg.pid` 2>/dev/null |
14 > else |
14 > else |
15 > kill `cat hg.pid` |
15 > kill `cat hg.pid` |
16 > fi |
16 > fi |
17 > while kill -0 `cat hg.pid` 2>/dev/null; do true; done |
17 > while kill -0 `cat hg.pid` 2>/dev/null; do sleep 0; done |
18 > } |
18 > } |
19 |
19 |
20 $ hg init test |
20 $ hg init test |
21 $ cd test |
21 $ cd test |
22 $ echo '[web]' > .hg/hgrc |
22 $ echo '[web]' > .hg/hgrc |