diff contrib/mergetools.hgrc @ 18575:667063b22a69

check-code: warn to use killdaemons instead of kill `cat PIDFILE` We have a bunch of tests that still use kill `cat hg.pid` or worse, kill `cat hg.pid`; while kill -0 `cat hg.pid`; sleep 0; done Cleaning these up to use tests/killdaemons.py is non-trivial, so for now we just add a warning.
author Kevin Bullock <kbullock@ringworld.org>
date Fri, 08 Feb 2013 19:32:56 +0000
parents bafbfe0b450c
children 6a012704c841
line wrap: on
line diff