Added disconnection code. Server now gets a message saying "name" disconnected. Disconnected player is removed from stations.
Merge remote-tracking branch 'origin/PingPong' into PingPong