tests/test-highlight
changeset 7623 03007ad08027
parent 7544 c5e37dc38a52
child 7959 5fb6edbf0ab8
--- 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
-