using non-default socket.io path

This allows easier embedding in other FastAPI apps

nicegui/nicegui.py

@@ -23,7 +23,8 @@ from .helpers import safe_invoke
 from .page import page
 
 globals.app = app = App(default_response_class=NiceGUIJSONResponse)
-socket_manager = SocketManager(app=app, json=json)  # custom json module (wraps orjson)
+# NOTE we use custom json module which wraps orjson
+socket_manager = SocketManager(app=app, mount_location='/_nicegui_ws/', json=json)
 globals.sio = sio = app.sio
 
 app.add_middleware(GZipMiddleware)

nicegui/templates/index.html

@@ -112,7 +112,7 @@
           const url = window.location.protocol === 'https:' ? 'wss://' : 'ws://' + window.location.host;
           const extraHeaders = {{ socket_io_js_extra_headers | safe }};
           window.path_prefix = "{{ prefix | safe }}";
-          window.socket = io(url, { path: "{{ prefix | safe }}/ws/socket.io", query, extraHeaders });
+          window.socket = io(url, { path: "{{ prefix | safe }}/_nicegui_ws/socket.io", query, extraHeaders });
           window.socket.on("connect", () => {
             window.socket.emit("handshake", (ok) => {
               if (!ok) window.location.reload();