Andy2 566a456489 use getChannel().size() rather than available() to decide how many ... bytes to read from downloaded dictionary file -- because available() will not always return the full size. I suspect this is why a German user is crashing when using the very large 2_15 German dict.		2011-01-27 21:03:37 -08:00
..
android	use getChannel().size() rather than available() to decide how many	2011-01-27 21:03:37 -08:00
common	check for null ptrs to allow creating loading games that won't draw or	2011-01-23 21:45:41 -08:00
dawg	ignore uncompressed dicts too	2011-01-24 22:21:44 -08:00
linux	move pipe handling code to where can be shared by curses and gtk -- but use from curses is untested.	2011-01-24 22:20:47 -08:00
relay	change format of reply to MSG_GET: include number of messages per	2011-01-27 06:37:36 -08:00
scripts	script to replace, eventually if I'm lucky, svnversion as a way to	2010-06-05 07:20:49 -07:00
tests	allow to run multiple games at once	2005-09-14 05:12:07 +00:00
wince	been a while since cvs...	2010-11-09 05:53:49 -08:00
Makefile	include java files in TAGS	2010-01-25 02:09:08 +00:00