battlecode-server-2017
battlecode-server-2017 copied to clipboard
Server doesn't emit DIE_KILLED events
Right now we only write the diedIDs, and not the killer information in actions.