From bc8e886fe9bda62b327b9b47f30da989daafa5a5 Mon Sep 17 00:00:00 2001 From: Yan Date: Fri, 1 Sep 2017 17:21:39 -0700 Subject: [PATCH] qira patch --- qira/install | 1 + qira/qira_fix.patch | 13 +++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 qira/qira_fix.patch diff --git a/qira/install b/qira/install index 7ff7cb4..b3045c8 100755 --- a/qira/install +++ b/qira/install @@ -18,6 +18,7 @@ sed -i '/eval $(opam config env)/d' qira sed -i 's/\.\/bap_install.sh/#.\/bap_install.sh/g' install.sh ./install.sh +git apply ../qira_fix.patch cd .. mkdir -p bin diff --git a/qira/qira_fix.patch b/qira/qira_fix.patch new file mode 100644 index 0000000..bdb4084 --- /dev/null +++ b/qira/qira_fix.patch @@ -0,0 +1,13 @@ +diff --git a/middleware/qira_webserver.py b/middleware/qira_webserver.py +index 3eac66a..068df7a 100644 +--- a/middleware/qira_webserver.py ++++ b/middleware/qira_webserver.py +@@ -431,7 +431,7 @@ def run_server(largs, lprogram): + print "****** starting WEB SERVER on %s:%d" % (qira_config.HOST, qira_config.WEB_PORT) + threading.Thread(target=mwpoller).start() + try: +- socketio.run(app, host=qira_config.HOST, port=qira_config.WEB_PORT, log=open("/dev/null", "w")) ++ socketio.run(app, host=qira_config.HOST, port=qira_config.WEB_PORT) + except KeyboardInterrupt: + print "*** User raised KeyboardInterrupt" + exit()