tests: use killdaemons.py in test-highlight
authorDirkjan Ochtman <dirkjan@ochtman.nl>
Mon, 12 Jan 2009 09:57:52 +0100
changeset 7623 03007ad08027
parent 7622 4dd7b28003d2
child 7624 f2fa1a9eede6
tests: use killdaemons.py in test-highlight
tests/test-highlight
--- a/tests/test-highlight	Mon Jan 12 09:16:03 2009 +0100
+++ b/tests/test-highlight	Mon Jan 12 09:57:52 2009 +0100
@@ -68,7 +68,7 @@
 
 echo % errors encountered
 cat errors.log
-kill `cat hg.pid`
+"$TESTDIR/killdaemons.py"
 
 # Change the pygments style
 cat > .hg/hgrc <<EOF
@@ -87,4 +87,3 @@
 
 echo % errors encountered
 cat errors.log
-