diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-03-25 05:20:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-25 05:20:13 +0100 |
| commit | 1ed6ad939b0909232fa8d7e1e398b710089706b6 (patch) | |
| tree | 3e285e4854f9746cce2b1de587fc52293d0ce9c8 /editor/plugins/theme_editor_preview.h | |
| parent | 391633760b0ea292af079287faf79c1aee6d9254 (diff) | |
| parent | b659cfbd53152efdfa910c8c65e4ef82de5f6fe9 (diff) | |
Merge pull request #59255 from winterpixelgames/fix-js-websocket-close
Use 3001 instead of 1001 when destroying a Javascript websocket
Diffstat (limited to 'editor/plugins/theme_editor_preview.h')
0 files changed, 0 insertions, 0 deletions