Fix race allowing multiple players at once.
Fix race allowing multiple players at once.

There were two problems:
a) insufficient protection around the spawn() function made it possible to spawn a new player before killing the previous one.

b) SIGINT sometimes failed to kill the existing player (it registered a handler temporarily)

lucas8/m9u,lucas8/m9u,lucas8/m9u