An event-based server manager for 7 Days to Die dedicated servers