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 |
|