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 -