From da4fc67b8b5338b8eb7b4bd54f55ba85e6574f7d Mon Sep 17 00:00:00 2001 From: Philip Trauner Date: Wed, 11 Jan 2017 22:27:52 +0100 Subject: [PATCH] Removed std_stream, now a client-side pipe --- Server/Server.py | 20 ++++---------------- 1 file changed, 4 insertions(+), 16 deletions(-) diff --git a/Server/Server.py b/Server/Server.py index eda00df..1bfb1f5 100644 --- a/Server/Server.py +++ b/Server/Server.py @@ -65,21 +65,6 @@ class Compile: -class StdStream(Route): - def __init__(self): - self.stream_to = {} - - def run(self, data, handler): - if type(data) is str: - if handler in self.stream_to.keys(): - self.stream_to[handler].send(data, "std_stream") - elif type(data) is dict: - if handler in self.stream_to.keys(): - self.stream_to[handler].send(data, "std_stream") - del self.stream_to[handler] - - - class Subscribe(Route): EDITOR = 1 WALLABY = 2 @@ -252,7 +237,10 @@ server.set_app(WebSocketWSGIApplication(handler_cls=Handler, "peers" : Peers(), "sensor" : DummyPipe(), "identify" : DummyPipe(), - "list_programs" : DummyPipe()}})) + "list_programs" : DummyPipe(), + "run_program" : DummyPipe(), + "std_stream" : DummyPipe(), + "stop_program" : DummyPipe()}})) try: