diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-11 18:39:03 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2019-10-15 14:15:02 +0200 |
commit | d75e0de729ab3f6e809f025e632be41ad2e476b7 (patch) | |
tree | 60909baeac4be9ce6ab1367c91a02a058425bff4 /modules/websocket/emws_server.h | |
parent | 1fed266bf5452b30376db62495f4985f6975f2c1 (diff) | |
download | redot-engine-d75e0de729ab3f6e809f025e632be41ad2e476b7.tar.gz |
Fix HTML5 build after 67a4c30.
I messed up a rebase and a commit was partly skipped
Diffstat (limited to 'modules/websocket/emws_server.h')
-rw-r--r-- | modules/websocket/emws_server.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/websocket/emws_server.h b/modules/websocket/emws_server.h index a5e5b4090e..e8da8c26b4 100644 --- a/modules/websocket/emws_server.h +++ b/modules/websocket/emws_server.h @@ -43,7 +43,7 @@ class EMWSServer : public WebSocketServer { public: Error set_buffers(int p_in_buffer, int p_in_packets, int p_out_buffer, int p_out_packets); - Error listen(int p_port, PoolVector<String> p_protocols = PoolVector<String>(), bool gd_mp_api = false); + Error listen(int p_port, Vector<String> p_protocols = Vector<String>(), bool gd_mp_api = false); void stop(); bool is_listening() const; bool has_peer(int p_id) const; |