A server implementing the TacsArena plugin