R. Richard ea0fff5662 Remove the custom on_close event to keep the session alive

2020-05-21 17:45:03 +02:00

..

frontend

Fix race condition in FrontendConfigHandler (frontend.ready)

2019-10-31 15:23:55 +01:00

fsm

Specify EventHandler types in builtin handlers

2019-08-30 14:45:53 +02:00

ide

Avoid reloading IDE on inotify events from the previous write

2019-09-27 15:16:08 +02:00

pipe_io

Make unused but overridden public method protected

2019-09-12 02:29:10 +02:00

process_management

Add support for stopping/starting ProcessLogHandler from API

2019-12-19 16:21:15 +01:00

snapshots

Use prefix matching in ZMQConnector

2019-08-08 15:05:37 +02:00

terminal

Remove the custom on_close event to keep the session alive

2020-05-21 17:45:03 +02:00

__init__.py

Simplify package structure

2019-07-24 15:50:41 +02:00