summaryrefslogtreecommitdiffstats
path: root/modules/websocket/emws_server.h
diff options
context:
space:
mode:
authorFabio Alessandrelli <fabio.alessandrelli@gmail.com>2019-10-11 18:39:03 +0200
committerFabio Alessandrelli <fabio.alessandrelli@gmail.com>2019-10-15 14:15:02 +0200
commitd75e0de729ab3f6e809f025e632be41ad2e476b7 (patch)
tree60909baeac4be9ce6ab1367c91a02a058425bff4 /modules/websocket/emws_server.h
parent1fed266bf5452b30376db62495f4985f6975f2c1 (diff)
downloadredot-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.h2
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;