diff options
| author | LV-426 <lv-426@taproot.org.il> | 2015-01-13 23:30:50 +0200 |
|---|---|---|
| committer | LV-426 <lv-426@taproot.org.il> | 2015-01-18 17:08:05 +0200 |
| commit | f5ea15c6d3fa877386e916096dd3ea791ed522fe (patch) | |
| tree | 25ee398d0c5a66235e5babcfbec4219d3a347793 | |
| parent | d6558fbcb0836e01cbd2965203f773dcdaf00e01 (diff) | |
avoid python-socketio's direct access to environ['socketio']
| -rw-r--r-- | src/server/rz_mesh.py | 8 |
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 |
