tests/test-serve
changeset 6000 8e7d64989bb8
parent 5971 6d5ecf824a65
child 6262 de7256c82fad
--- a/tests/test-serve	Sat Feb 02 14:55:14 2008 +0100
+++ b/tests/test-serve	Sat Feb 02 21:01:43 2008 +0100
@@ -16,24 +16,28 @@
 echo % With -v
 hg serve -a localhost -p $HGPORT1 -d --pid-file=hg.pid -v | sed -e 's,:[0-9][0-9]*/,/,'
 cat hg.pid >> "$DAEMON_PIDS"
+sleep 1
 kill `cat hg.pid`
 sleep 1
 
 echo % With --prefix foo
 hg serve -a localhost -p $HGPORT1 -d --pid-file=hg.pid -v --prefix foo | sed -e 's,:[0-9][0-9]*/,/,'
 cat hg.pid >> "$DAEMON_PIDS"
+sleep 1
 kill `cat hg.pid`
 sleep 1
 
 echo % With --prefix /foo
 hg serve -a localhost -p $HGPORT1 -d --pid-file=hg.pid -v --prefix /foo | sed -e 's,:[0-9][0-9]*/,/,'
 cat hg.pid >> "$DAEMON_PIDS"
+sleep 1
 kill `cat hg.pid`
 sleep 1
 
 echo % With --prefix foo/
 hg serve -a localhost -p $HGPORT1 -d --pid-file=hg.pid -v --prefix foo/ | sed -e 's,:[0-9][0-9]*/,/,'
 cat hg.pid >> "$DAEMON_PIDS"
+sleep 1
 kill `cat hg.pid`
 sleep 1