Fri, 25 Nov 2011 21:29:11 +0100 | wenzelm | explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads; | changeset | files |
Fri, 25 Nov 2011 21:27:16 +0100 | wenzelm | tuned proofs; | changeset | files |
Fri, 25 Nov 2011 18:37:14 +0100 | wenzelm | retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.; | changeset | files |