Merge fix from websocketpp repo

JoelKatz · vinniefalco · commit 906a179ad96a · 2013-05-03T16:35:09.000-07:00
diff --git a/src/roles/server.hpp b/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();

Original file line number	Diff line number	Diff line change
`@@ -358,8 +358,6 @@ void server<endpoint>::stop_listen(bool join) {`
`358`	`358`	`m_acceptor.close();`
`359`	`359`	`}`
`360`	`360`
`361`		`- m_state = STOPPING;`
`362`		`-`
`363`	`361`	`if(join) {`
`364`	`362`	`for (std::size_t i = 0; i < m_listening_threads.size(); ++i) {`
`365`	`363`	`m_listening_threads[i]->join();`