6 commits

Author	SHA1	Message	Date
Gered	4ab3980d24	fix up game loop to _actually_ be interruptable	2017-04-14 17:37:48 -04:00
Gered	1f68039507	minor tweak to startup file extracting console output	2017-04-14 12:43:30 -04:00
Gered	c0a65e037c	bit more of a robust method of checking if running on a 32-bit jvm ... os.arch can have a wide variety of values (e.g. not just "x86" for 32 bit)	2017-04-14 12:40:48 -04:00
gered	927ac86c9d	convert majority of Mirror.startGame to Java code	2017-04-12 21:45:14 -04:00
Gered	13ff030393	temporary fix for javadoc issues, will revisit later	2017-04-12 12:32:18 -04:00
gered	9cefd694d6	remove bwapi/bwta headers, include them from user's environment	2017-04-11 22:52:34 -04:00

Renamed from manual-bwapi/Mirror.java (Browse further)