some utilities for maneging arena's on servers