# HG changeset patch
# User Dirkjan Ochtman <dirkjan@ochtman.nl>
# Date 2009-01-12 08:57:52
# Node ID 03007ad080279553c985c037b64865462d15a2c6
# Parent  4dd7b28003d2ceb75a760319ff1c1c105aab8d24

tests: use killdaemons.py in test-highlight

diff --git a/tests/test-highlight b/tests/test-highlight
--- a/tests/test-highlight
+++ b/tests/test-highlight
@@ -68,7 +68,7 @@ rm out
 
 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 @@ rm out
 
 echo % errors encountered
 cat errors.log
-