Code review comment for lp:~widelands-dev/widelands/net-boost-asio

After playing quite a qhile (> 1hour) I now got a crash:

Thread 0 Crashed:: Dispatch queue: com.apple.main-thread
0 widelands 0x000000010a7c2d9c boost::asio::basic_io_object<boost::asio::stream_socket_service<boost::asio::ip::tcp>, true>::get_service() const + 12 (basic_io_object.hpp:214)
1 widelands 0x000000010a7c03ef boost::asio::basic_socket<boost::asio::ip::tcp, boost::asio::stream_socket_service<boost::asio::ip::tcp> >::is_open() const + 31 (basic_socket.hpp:338)
2 widelands 0x000000010a7bceb9 NetClient::is_connected() const + 25 (netclient.cc:24)
3 widelands 0x000000010a7bd609 NetClient::send(SendPacket const&) + 41 (netclient.cc:67)
4 widelands 0x000000010a7526c1 InternetGaming::logout(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) + 161 (internet_gaming.cc:225)
5 widelands 0x000000010a795f1c GameHost::run() + 9932 (gamehost.cc:749)

So the interal asio service object was broken :-(

should this be our long searched for bug in trunk?