-
Alessandro Rubini authored
We may use the return value later to see if the server is unresponsive, and pick another one. Anyways this is cleaner, kill() was a hack. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
b7baa1eb
We may use the return value later to see if the server is unresponsive,
and pick another one. Anyways this is cleaner, kill() was a hack.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>