leak b153e1a47f Fix terminate() being called on kicking a player (closing sockets twice is bad) ...

Also, Boost, why does your is_open() suck..

2014-07-19 21:59:17 +02:00

..

genrev

Update copyright note for 2014.

2014-01-01 00:07:53 +01:00

server

Fix terminate() being called on kicking a player (closing sockets twice is bad)

2014-07-19 21:59:17 +02:00

tools

GCC compile fixes

2014-07-16 19:27:15 +02:00

CMakeLists.txt

Update copyright note for 2014.

2014-01-01 00:07:53 +01:00