public synchronized void abortOngoingMatch(String matchID) {
if (gameServers.containsKey(matchID)) {
GameServer server = gameServers.get(matchID).get();
if (server != null) {
server.abort();
}
}
}
private synchronized void doSchedule(PendingMatch spec) {