From 8afed76d15a0286e6f2792207a203ca2c233b049 Mon Sep 17 00:00:00 2001 From: Philip Trauner Date: Mon, 23 Jan 2017 09:11:29 +0100 Subject: [PATCH] Added stop_programs, shutdown and reboot pipes --- Server/Server.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Server/Server.py b/Server/Server.py index 1bfb1f5..e058d29 100644 --- a/Server/Server.py +++ b/Server/Server.py @@ -240,7 +240,9 @@ server.set_app(WebSocketWSGIApplication(handler_cls=Handler, "list_programs" : DummyPipe(), "run_program" : DummyPipe(), "std_stream" : DummyPipe(), - "stop_program" : DummyPipe()}})) + "stop_programs" : DummyPipe(), + "shutdown" : DummyPipe(), + "reboot" : DummyPipe()}})) try: