|
|
35e5b595d1
|
Rename message keys
|
2019-08-08 14:45:59 +02:00 |
|
|
|
f5e7d6016a
|
Fix condition in PR #62
|
2019-08-08 08:27:41 +02:00 |
|
|
|
13179e59eb
|
Restore generate_messages_from_queue()
|
2019-08-07 11:24:56 +02:00 |
|
|
|
09ffe2bdcf
|
Forward relevant messages to the frontend
|
2019-08-07 09:49:25 +02:00 |
|
|
|
f8ff0bcbb4
|
Simplify sending bot messages
|
2019-08-07 09:49:05 +02:00 |
|
|
|
4b7510e704
|
Update process- and logmonitor according to the new API
|
2019-08-07 09:47:57 +02:00 |
|
|
|
e414ea2631
|
Simplify terminal handler
|
2019-08-07 09:47:28 +02:00 |
|
|
|
dded7fd65c
|
Update FSM related classes according to the new API
|
2019-08-07 09:46:58 +02:00 |
|
|
|
d31a850a4e
|
Simplify IDE handler and file manager
|
2019-08-07 09:44:03 +02:00 |
|
|
|
e6d2777520
|
Replace pipe-io-server source with the new pip package
|
2019-08-06 11:33:26 +02:00 |
|
|
|
e87a16991c
|
Implement signed event handler
|
2019-08-05 13:47:05 +02:00 |
|
|
|
30223fe99f
|
Rename ServerConnector interface to Connector ¯\_(ツ)_/¯
|
2019-07-30 15:17:29 +02:00 |
|
|
|
fd92c443b2
|
Update PipeIOServer dependency
|
2019-07-30 14:45:33 +02:00 |
|
|
|
f2b6123d41
|
Remove unnecessary newlines
|
2019-07-24 16:32:57 +02:00 |
|
|
|
52399f413c
|
Simplify package structure
|
2019-07-24 15:50:41 +02:00 |
|
