Steffen Schröder b5d781076d improved shutdown

2014-05-06 10:34:57 +02:00

..

Config.php

applied common formatting

2014-05-02 17:50:30 +02:00

RankingManager.php

applied common formatting

2014-05-02 17:50:30 +02:00

ScriptManager.php

script manager class

2014-05-06 02:17:11 +02:00

Server.php

improved shutdown

2014-05-06 10:34:57 +02:00

ServerCommands.php

applied common formatting

2014-05-02 17:50:30 +02:00

UsageReporter.php

fixed usagereporter

2014-05-04 16:07:04 +02:00