diff options
| author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-10 11:34:39 +0100 |
|---|---|---|
| committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-10 13:56:54 +0100 |
| commit | 26fcf2b04ca48566cee6cf32a2a40e8ea1e40eb4 (patch) | |
| tree | 273aace3a50a8d14f9b13f1d991bb9048cef6131 /modules/websocket/editor_debugger_server_websocket.h | |
| parent | ad9e5ae9848c8baf6fe462cf22d7f5677f478174 (diff) | |
| download | redot-engine-26fcf2b04ca48566cee6cf32a2a40e8ea1e40eb4.tar.gz | |
Add override keywords.
Diffstat (limited to 'modules/websocket/editor_debugger_server_websocket.h')
| -rw-r--r-- | modules/websocket/editor_debugger_server_websocket.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/modules/websocket/editor_debugger_server_websocket.h b/modules/websocket/editor_debugger_server_websocket.h index c66db1b72a..861f389aab 100644 --- a/modules/websocket/editor_debugger_server_websocket.h +++ b/modules/websocket/editor_debugger_server_websocket.h @@ -48,12 +48,12 @@ public: void _peer_connected(int p_peer, String p_protocol); void _peer_disconnected(int p_peer, bool p_was_clean); - void poll(); - Error start(); - void stop(); - bool is_active() const; - bool is_connection_available() const; - Ref<RemoteDebuggerPeer> take_connection(); + void poll() override; + Error start() override; + void stop() override; + bool is_active() const override; + bool is_connection_available() const override; + Ref<RemoteDebuggerPeer> take_connection() override; EditorDebuggerServerWebSocket(); ~EditorDebuggerServerWebSocket(); |