R. Richard f5582f0207 Implement inotify based pipe connector

2019-08-14 14:12:31 +02:00

..

frontend

Fix message filtering issue

2019-08-12 11:57:54 +02:00

fsm

Use prefix matching in ZMQConnector

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

ide

Use prefix matching in ZMQConnector

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

pipe_connector

Implement inotify based pipe connector

2019-08-14 14:12:31 +02:00

pipe_io

Replace pipe-io-server source with the new pip package

2019-08-06 11:33:26 +02:00

process_management

Implement inotify based pipe connector

2019-08-14 14:12:31 +02:00

snapshots

Use prefix matching in ZMQConnector

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

terminal

Use prefix matching in ZMQConnector

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

__init__.py

Simplify package structure

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