4 commits

Author	SHA1	Message	Date
boyska	f9812d3ef8	fix race in UIserver	2017-09-07 18:30:45 +02:00
boyska	0965847026	FIX remove workers (concurrently)	2017-07-24 00:04:46 +02:00
boyska	044696b7a0	FIX worker close panic	2017-07-24 00:03:44 +02:00
boyska	ed985a92e9	expose state on a socket, for UI decoupling ... The idea is that the UI can run in a separate process, so there is now a way for another process to know the state and to display an interface accordingly	2017-07-23 21:49:05 +02:00