diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-10-22 17:49:40 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-10-28 21:18:01 +0200 |
| commit | 39f3d9d59e80d5a9f62925abca596d87ce1e4d0f (patch) | |
| tree | e958ee207578ecf5912210377db44496faa5cc6f /editor/dependency_editor.h | |
| parent | 028db9f2b5b6d2ca9a00d3b08c17f82b5298e149 (diff) | |
[MP] Add MultiplayerPeer disconnect_peer, close.
Update ENet, WebRTC, and WebSocket to support peer disconnection and
unify the close function.
Diffstat (limited to 'editor/dependency_editor.h')
0 files changed, 0 insertions, 0 deletions