203204205206207208209210211212213
match.markAborted(); interrupt(); sendAbortRequests(); saveWhenNecessary(); publishWhenNecessary(); notifyObservers(new ServerAbortedMatchEvent()); notifyObservers(new ServerMatchUpdatedEvent(match, spectatorServerKey, saveToFilename)); } catch (Exception e) { e.printStackTrace(); } }