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

2018-05-20 12:35:58 +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

Remove broken Server.ExternalPort setting.

2018-03-31 18:09:07 +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