A complete multi-server management framework for Armagetron Advanced