make ping actually end
authorAli Saidi <saidi@eecs.umich.edu>
Mon, 30 Apr 2007 17:07:05 +0000 (13:07 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Mon, 30 Apr 2007 17:07:05 +0000 (13:07 -0400)
commite77aa3d21215de75aeeb0961a2440b87a01d3dc6
tree24159bb5f8146c5872f3aed0f205204d07ac7c7f
parent1c243d66a2e54f66c4192b33b3d194c35df4cf5c
make ping actually end

--HG--
extra : convert_revision : 6932d050a821abc7871bc73051688a986dcea364
configs/boot/ping-client.rcS