12 Commits

Include renames

Author	SHA1	Message	Date
R. Richard	ea0fff5662	Remove the custom on_close event to keep the session alive	2020-05-21 17:45:03 +02:00
R. Richard	70f4d666e3	Keep websocket connection alive	2020-05-18 18:02:07 +02:00
Kristóf Tóth	1b274fa019	Avoid mixing up terminal.write command with user input	2019-11-08 11:34:15 +01:00
Kristóf Tóth	517684e84a	Fix TerminalCommandsHandler using old JSON API	2019-08-30 17:47:58 +02:00
Kristóf Tóth	9712ebf102	Specify EventHandler types in builtin handlers	2019-08-30 14:45:53 +02:00
R. Richard	25f54a71b5	Refactor API message format	2019-08-28 16:31:43 +02:00
R. Richard	947d0a27b7	History monitor should only emit events	2019-08-26 14:53:52 +02:00
Kristóf Tóth	b5e53cb946	Use prefix matching in ZMQConnector	2019-08-08 15:05:37 +02:00
R. Richard	e414ea2631	Simplify terminal handler	2019-08-07 09:47:28 +02:00
Kristóf Tóth	30223fe99f	Rename ServerConnector interface to Connector ¯\_(ツ)_/¯	2019-07-30 15:17:29 +02:00
Kristóf Tóth	f2b6123d41	Remove unnecessary newlines	2019-07-24 16:32:57 +02:00
Kristóf Tóth	52399f413c	Simplify package structure	2019-07-24 15:50:41 +02:00