Author	SHA1	Message	Date
David	176447e389	Remove thread from active list when it has finished.	2019-03-01 11:31:31 +01:00
David	85e4a59a7c	Kill timeout thread if working finished in time.	2019-03-01 11:27:39 +01:00
David	e2acde3f98	Enable websocket compression.	2019-03-01 11:22:56 +01:00
David	0b74fdd5ab	Better exception handling in the websocket server.	2019-03-01 10:56:17 +01:00
David	79e0ffda19	Restore the 'valentine' example.	2019-02-28 14:22:42 +01:00
David	17c2ef9654	Switch to a monadic API.	2019-02-28 10:39:12 +01:00
David	56157ad9c1	Use files rather than memory to store cached values.	2019-02-27 15:42:31 +01:00
David	5ef1a9e23e	Change port of local rendering server.	2019-02-27 13:34:58 +01:00
David	5a2b679619	Improve error messages in web-viewer.	2019-02-27 12:07:21 +01:00
David	85e64d863d	Fix exception handling and increase rendering limit to 30s.	2019-02-27 11:36:22 +01:00
David	1328c9f861	Rendering server.	2019-02-27 11:04:30 +01:00