add websocket ping to client/server example

finos · May 11, 2020 · 746f57f · 746f57f
1 parent 0d38dc5
commit 746f57f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/perspective/examples/client_server_edits.py b/python/perspective/examples/client_server_edits.py
@@ -43,7 +43,7 @@ def make_app():
         (r"/", MainHandler),
         # create a websocket endpoint that the client Javascript can access
         (r"/websocket", PerspectiveTornadoHandler, {"manager": MANAGER, "check_origin": True})
-    ])
+    ], websocket_ping_interval=15)
 
 
 if __name__ == "__main__":