Markus Makela e67a829daf Take server destruction into use
The servers can now be destroyed with the `destroy server NAME` maxadmin
command.
2016-11-11 10:54:33 +02:00
..
2016-11-08 11:12:37 +01:00
2016-11-11 10:54:33 +02:00