(web: type[tool.Web], port: int, page: str)
| 30 | |
| 31 | |
| 32 | def connect_websocket_server(web: type[tool.Web], port: int, page: str) -> None: |
| 33 | # check if port already has a server listening to it |
| 34 | if web.is_port_available(port): |
| 35 | web.start_websocket_server(port) |
| 36 | if web.has_started(port): |
| 37 | web.connect_websocket_server(port) |
| 38 | web.send_theme_data() |
| 39 | web.open_web_browser(port, page) |
| 40 | return |
| 41 | |
| 42 | web.connect_websocket_server(port) |
| 43 | |
| 44 | |
| 45 | def disconnect_websocket_server(web: type[tool.Web]) -> None: |
nothing calls this directly
no test coverage detected