Refactoring killing servers.

Made it less chatty, and use a for loop rather than a while loop (so
bugs are less likely to cause infinite loops).
Removing more print statements so it's easier to see what's going on.