Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/IfcOpenShell/IfcOpenShell
/ disconnect_websocket_server
Function
disconnect_websocket_server
src/bonsai/bonsai/core/web.py:45–46 ·
view source on GitHub ↗
(web: type[tool.Web])
Source
from the content-addressed store, hash-verified
43
44
45
def
disconnect_websocket_server(web: type[tool.Web]) -> None:
46
web.disconnect_websocket_server()
47
48
49
def
kill_websocket_server(web: type[tool.Web]) -> None:
Callers
nothing calls this directly
Calls
1
disconnect_websocket_server
Method · 0.80
Tested by
no test coverage detected