Eric House 4f8f14c83b kill thread when wait() fires InterruptedException ... Rather than just dropping it and going back to a wait that will likely last forever. I *think* wait() throwing that exception means the thread's being killed, in which case the exception should be thrown up to the containing loop that will then exit.		2018-12-11 06:57:59 -08:00
..
android	kill thread when wait() fires InterruptedException	2018-12-11 06:57:59 -08:00
common	don't call tile picker more than once	2018-08-01 20:30:51 -07:00
dawg	put back a couple of words -- not dirty!	2017-05-05 06:48:52 -07:00
debian	ignore debian build files	2012-01-04 18:11:29 -08:00
linux	include port and proto	2018-07-26 21:13:09 -07:00
newrelay	beginnings of new relay: shows persistence	2017-11-05 19:24:41 -08:00
relay	track and log types of (un-acked) messages	2018-05-24 21:03:25 -07:00
scripts	more work on script	2014-02-26 07:52:18 -08:00
tests	allow to run multiple games at once	2005-09-14 05:12:07 +00:00
wince	make trade and move confirm non-blocking	2017-02-17 08:58:20 -08:00
Makefile	include all .xml and .java files, but only if they're not named in a .gitignore file in the same directory	2014-03-01 11:44:20 -08:00