21 Commits

Author	SHA1	Message	Date
R. Richard	dc0615c11e	Fix issues in PR #63	2019-08-14 15:42:11 +02:00
R. Richard	f5582f0207	Implement inotify based pipe connector	2019-08-14 14:12:31 +02:00
R. Richard	0549c5e4c8	Fix message filtering issue	2019-08-12 11:57:54 +02:00
Kristóf Tóth	0b7557f198	Fix frontend message replay broken during refactor	2019-08-09 10:59:27 +02:00
Kristóf Tóth	7ba502277f	Remove accidental comment	2019-08-09 10:56:38 +02:00
Kristóf Tóth	b5e53cb946	Use prefix matching in ZMQConnector	2019-08-08 15:05:37 +02:00
R. Richard	35e5b595d1	Rename message keys	2019-08-08 14:45:59 +02:00
R. Richard	f5e7d6016a	Fix condition in PR #62	2019-08-08 08:27:41 +02:00
R. Richard	13179e59eb	Restore generate_messages_from_queue()	2019-08-07 11:24:56 +02:00
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