2012/6/12 John Darrington
<address@hidden>
I have a hunch what the problem might be.
Here is a patch which may, or may not fix it.
It also adds some more diagnostics which may help us.
Harry, could you please prepare a binary, as before.
Thanks.
--
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://keys.gnupg.net or any PGP keyserver for public key.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFP122simdxnC3oJ7MRAkLPAJ0VPZ+ic2rE6kaodsZshrxlBFuvigCfSUzF
znrWVkp83eV8KmHW2IO3L00=
=GTtm
-----END PGP SIGNATURE-----