From 0f4e021b9d21fa2fad3efc4a1fdaf3d6bdd44231 Mon Sep 17 00:00:00 2001
From: JoelKatz <DavidJoelSchwartz@GMail.com>
Date: Wed, 6 Mar 2013 23:15:45 -0800
Subject: [PATCH] Merge fix from websocketpp repo

---
 src/cpp/websocketpp/src/roles/server.hpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/cpp/websocketpp/src/roles/server.hpp b/src/cpp/websocketpp/src/roles/server.hpp
index a1e32df22..7042792bd 100644
--- a/src/cpp/websocketpp/src/roles/server.hpp
+++ b/src/cpp/websocketpp/src/roles/server.hpp
@@ -358,8 +358,6 @@ void server<endpoint>::stop_listen(bool join) {
 		m_acceptor.close();
 	}
     
-    m_state = STOPPING;
-
     if(join) {
         for (std::size_t i = 0; i < m_listening_threads.size(); ++i) {
             m_listening_threads[i]->join();