Dan Smith
cd6780baf4
More graphite hardening work
...
This adds verbose debugging which can be turned on to figure out what is
going on. It also adds a broad exception handler in the worker thread
to avoid dying. If you're running this such that stderr doesn't go to a
log, it can be easy to miss the thread's death.
I wrote all this to try to diagnose #1283 , which seems to maybe have
healed itself. But since I have it, I figure we might as well keep it
in case we have trouble in the future.
2016-02-17 15:11:24 -08:00
..
2016-02-17 08:41:46 -08:00
2016-01-26 21:41:12 +01:00
2016-02-16 20:24:32 -08:00
2016-02-16 23:52:05 -08:00
2016-02-11 20:28:02 +00:00
2016-02-16 23:52:26 -08:00
2016-02-13 08:17:38 -08:00
2016-02-16 20:23:55 -08:00
2016-02-17 05:50:36 -05:00
2016-02-12 19:31:07 -08:00
2016-02-10 21:23:27 -08:00
2016-02-09 22:51:44 -08:00
2016-01-31 18:30:43 +01:00
2016-02-16 11:24:36 -08:00
2016-02-16 20:23:55 -08:00
2016-02-17 08:16:02 -08:00
2016-01-23 22:57:14 -08:00
2016-01-08 18:54:28 -08:00
2016-02-12 07:55:20 +01:00
2016-02-14 10:33:59 -08:00
2016-01-28 21:45:26 -08:00
2016-02-06 08:23:30 +01:00
2016-02-09 23:27:01 -08:00
2015-12-15 20:44:35 +00:00
2016-02-11 08:37:17 -05:00
2016-01-28 21:45:26 -08:00
2016-02-13 09:38:56 +01:00
2016-02-17 15:11:24 -08:00
2016-02-09 22:43:07 -08:00
2016-02-03 15:05:43 -05:00
2016-01-15 13:39:54 -07:00
2016-02-12 05:34:13 +00:00
2016-02-03 00:23:59 +01:00
2016-02-03 00:23:59 +01:00
2016-02-03 00:23:59 +01:00
2016-02-14 00:21:20 -08:00
2016-01-28 21:45:26 -08:00
2016-01-29 08:13:46 +01:00
2015-12-23 00:57:41 -06:00
2016-01-30 15:18:26 -08:00
2016-02-12 19:01:41 -08:00
2016-01-14 14:17:28 -07:00
2016-02-14 00:21:20 -08:00
2016-02-09 23:27:01 -08:00
2016-02-11 14:15:51 +01:00
2016-01-27 09:34:14 +01:00
2015-12-27 13:24:34 -06:00
2016-01-23 22:49:49 -08:00
2016-02-03 00:35:53 +01:00
2016-02-14 10:47:46 -05:00
2016-02-12 01:45:25 +00:00
2016-01-26 23:34:25 +01:00
2016-02-16 17:46:25 +01:00
2016-02-17 19:28:26 +01:00
2016-02-03 00:01:26 +01:00
2016-02-13 08:17:38 -08:00
2016-02-01 11:47:09 +01:00
2016-01-23 23:00:46 -08:00
2016-02-04 20:51:52 -08:00