diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-10 21:04:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-10 21:04:23 +0200 |
| commit | dcd11faad3802679a43b27155f1b6bc59aa39b60 (patch) | |
| tree | b91a7bcb89881e80a105710cd274993c98378029 /modules/websocket/editor_debugger_server_websocket.h | |
| parent | 4d2e50eca6f661c0cfb84a2f0b9c9ccd701a9576 (diff) | |
| parent | 26fcf2b04ca48566cee6cf32a2a40e8ea1e40eb4 (diff) | |
Merge pull request #40253 from madmiraal/add-override-keywords
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(); |