Hi Michael,

2008-10-17  Hui Zhu  <teawater@gmail.com>

	* infcmd.c (kill_if_already_running): Remove process record
	warning code.

Thanks,
Hui