diff --git a/src/websocket/src/roles/server.hpp b/src/websocket/src/roles/server.hpp index f7f4e45f3..35c8c04d6 100644 --- a/src/websocket/src/roles/server.hpp +++ b/src/websocket/src/roles/server.hpp @@ -41,11 +41,11 @@ #include #include #include -#include #include #include #include +#include #ifdef _MSC_VER // Disable "warning C4355: 'this' : used in base member initializer list". @@ -306,7 +306,7 @@ private: boost::asio::deadline_timer m_timer; - std::vector< boost::shared_ptr > m_listening_threads; + std::vector< boost::shared_ptr > m_listening_threads; }; template @@ -333,8 +333,8 @@ void server::start_listen(const boost::asio::ip::tcp::endpoint& e,size m_state = LISTENING; for (std::size_t i = 0; i < num_threads; ++i) { - boost::shared_ptr thread( - new boost::thread(boost::bind( + boost::shared_ptr thread( + new std::thread(boost::bind( &endpoint_type::run_internal, &m_endpoint ))