# HG changeset patch
# User Gilles Moris <gilles.moris@free.fr>
# Date 1298221565 -3600
# Node ID 8b1125eb361e666627983918908de9a8252c5c7f
# Parent  97b69883e929326dcfc5caaf306bb767211d3331
test-push-http: use killdaemons.py instead of kill to avoid test unreliability

diff -r 97b69883e929 -r 8b1125eb361e tests/test-push-http.t
--- a/tests/test-push-http.t	Sun Feb 20 00:57:55 2011 +0100
+++ b/tests/test-push-http.t	Sun Feb 20 18:06:05 2011 +0100
@@ -15,7 +15,7 @@
   >     hg serve -p $HGPORT -d --pid-file=hg.pid -E errors.log
   >     cat hg.pid >> $DAEMON_PIDS
   >     hg --cwd ../test2 push http://localhost:$HGPORT/
-  >     kill `cat hg.pid`
+  >     "$TESTDIR/killdaemons.py"
   >     echo % serve errors
   >     cat errors.log
   > }