Fix truncated battles on attempted thread stop#85

jkflying wants to merge 1 commit into

robo-code:mainrobo-code/robocode:mainfrom

jkflying:patch-1jkflying/robocode:patch-1Copy head branch name to clipboard