Paul Chote 9073249fe4 Fix player connection notifications. ...

New player notifications are now never reported to the joining player,
and always reported in the dedicated server output.

2018-05-20 13:55:10 +02:00

..

Connection.cs

Mop up active Stylecop nits.

2018-03-03 11:45:35 +00:00

Exts.cs

Update copyright notice year to 2018

2018-01-17 00:47:34 +01:00

ProtocolVersion.cs

Update copyright notice year to 2018

2018-01-17 00:47:34 +01:00

Server.cs

Fix player connection notifications.

2018-05-20 13:55:10 +02:00

ServerOrder.cs

Fix spurious "This isn't a server order" logging on player disconnect.

2018-05-20 12:35:58 +02:00

TraitInterfaces.cs

Update copyright notice year to 2018

2018-01-17 00:47:34 +01:00