diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-08-06 02:46:23 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-08-07 13:44:16 +0200 |
| commit | 202320e1ed7a2ba47492d64ea553faf4cccd5893 (patch) | |
| tree | 55246904530bd164522bb595497ae68cbe909743 /editor/editor_resource_preview.h | |
| parent | 428aed8e877b0b9e2de6502a7cbeb496bfba159f (diff) | |
[Websocket] Remove dummy JS server implemenation.
It does nothing but printing errors (only websocket client is available
in browsers), so we might as well return null when you instantiate it.
Diffstat (limited to 'editor/editor_resource_preview.h')
0 files changed, 0 insertions, 0 deletions