12 Commits

Include renames

Author	SHA1	Message	Date
R. Richard	09ffe2bdcf	Forward relevant messages to the frontend	2019-08-07 09:49:25 +02:00
R. Richard	f8ff0bcbb4	Simplify sending bot messages	2019-08-07 09:49:05 +02:00
R. Richard	4b7510e704	Update process- and logmonitor according to the new API	2019-08-07 09:47:57 +02:00
R. Richard	e414ea2631	Simplify terminal handler	2019-08-07 09:47:28 +02:00
R. Richard	dded7fd65c	Update FSM related classes according to the new API	2019-08-07 09:46:58 +02:00
R. Richard	d31a850a4e	Simplify IDE handler and file manager	2019-08-07 09:44:03 +02:00
Kristóf Tóth	e6d2777520	Replace pipe-io-server source with the new pip package	2019-08-06 11:33:26 +02:00
R. Richard	e87a16991c	Implement signed event handler	2019-08-05 13:47:05 +02:00
Kristóf Tóth	30223fe99f	Rename ServerConnector interface to Connector ¯\_(ツ)_/¯	2019-07-30 15:17:29 +02:00
Kristóf Tóth	fd92c443b2	Update PipeIOServer dependency	2019-07-30 14:45:33 +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