# HG changeset patch
# User Dirkjan Ochtman <dirkjan@ochtman.nl>
# Date 1231750672 -3600
# Node ID 03007ad080279553c985c037b64865462d15a2c6
# Parent  4dd7b28003d2ceb75a760319ff1c1c105aab8d24
tests: use killdaemons.py in test-highlight

diff -r 4dd7b28003d2 -r 03007ad08027 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
-