David
|
c07f4c18ae
|
Local web viewer.
Former-commit-id: a5e99d454a2e44b32a31f57e62764322f7196032
|
2019-03-08 10:37:15 +01:00 |
|
David
|
20ee97c53c
|
Remove thread from active list when it has finished.
Former-commit-id: 3b5a36ed001e5eae0dddb1c8f5be354662d1c02d
|
2019-03-01 11:31:31 +01:00 |
|
David
|
6d893dc52e
|
Kill timeout thread if working finished in time.
Former-commit-id: da2d1a9d836631068e5e87ae8ee8271523dd33e1
|
2019-03-01 11:27:39 +01:00 |
|
David
|
8b640717e1
|
Enable websocket compression.
Former-commit-id: 321001b5c1d3b1a4505f07f772195ef605feeb6e
|
2019-03-01 11:22:56 +01:00 |
|
David
|
2f0d83f9b1
|
Better exception handling in the websocket server.
Former-commit-id: 403eae84b74f76f26b51fdac8930bb9e02ca6e6b
|
2019-03-01 10:56:17 +01:00 |
|
David
|
53d6d3e03f
|
Restore the 'valentine' example.
Former-commit-id: 1bfd8ed5fcef2e54f0033f5ac5b3a667bc74f913
|
2019-02-28 14:22:42 +01:00 |
|
David
|
9707cca88b
|
Switch to a monadic API.
Former-commit-id: 0c2706be2b4cf0a92a46f000cbd1da620f86a2e1
|
2019-02-28 10:39:12 +01:00 |
|
David
|
f5e1dc6368
|
Use files rather than memory to store cached values.
Former-commit-id: 2ea3cf87574a2a98354b7aebc6b845009c5b9d65
|
2019-02-27 15:42:31 +01:00 |
|
David
|
2e5e98e2d9
|
Change port of local rendering server.
Former-commit-id: 670364e168f2ed8bcf7a99566e7c3a5e6a1955a7
|
2019-02-27 13:34:58 +01:00 |
|
David
|
4e48ca0833
|
Improve error messages in web-viewer.
Former-commit-id: 071be9c57d5d595b6e6f002b56d6bf791b6192f8
|
2019-02-27 12:07:21 +01:00 |
|
David
|
df214c853d
|
Fix exception handling and increase rendering limit to 30s.
Former-commit-id: d1ae228eba9e62fbf8e2bd95e7a933803c6705c4
|
2019-02-27 11:36:22 +01:00 |
|
David
|
db4d67529b
|
Rendering server.
Former-commit-id: 3a702e08783977a78b681ea671309806c5f3f8ce
|
2019-02-27 11:04:30 +01:00 |
|