diff -r cbf5f3eb9d13 -r 3241fc65e3cd tests/test-https.t
--- a/tests/test-https.t	Sat Feb 09 06:07:32 2013 -0600
+++ b/tests/test-https.t	Sat Feb 09 05:26:16 2013 -0600
@@ -233,11 +233,13 @@
   (check hostfingerprint configuration)
   [255]
 
+
 - ignores that certificate doesn't match hostname
   $ hg -R copy-pull id https://127.0.0.1:$HGPORT/
   5fed3813f7f5
 
-  $ while kill `cat hg1.pid` 2>/dev/null; do sleep 0; done
+HGPORT1 is reused below for tinyproxy tests. Kill that server.
+  $ "$TESTDIR/killdaemons.py" hg1.pid
 
 Prepare for connecting through proxy