summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLV-426 <lv-426@taproot.org.il>2015-01-13 23:30:50 +0200
committerLV-426 <lv-426@taproot.org.il>2015-01-18 17:08:05 +0200
commitf5ea15c6d3fa877386e916096dd3ea791ed522fe (patch)
tree25ee398d0c5a66235e5babcfbec4219d3a347793
parentd6558fbcb0836e01cbd2965203f773dcdaf00e01 (diff)
avoid python-socketio's direct access to environ['socketio']
-rw-r--r--src/server/rz_mesh.py8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/server/rz_mesh.py b/src/server/rz_mesh.py
index 05eca265..b173e64d 100644
--- a/src/server/rz_mesh.py
+++ b/src/server/rz_mesh.py
@@ -59,10 +59,14 @@ def init_ws_interface(cfg, kernel, flask_webapp):
def socketio_route_handler(url_path):
try:
+ if None == request.environ.get('socketio'):
+ # avoid python-socketio's direct access to environ['socketio']
+ raise Exception('failed to obtain socketio object from WSGI environment')
+
+ # connect socketio manager
socketio_manage(request.environ, {'/graph': WebSocket_Graph_NS}, ws_env)
except:
- flask_webapp.logger.error("Exception while handling socketio connection",
- exc_info=True)
+ flask_webapp.logger.error("Exception while handling socketio connection", exc_info=True)
return Response()
# connect socketio route