Calling send_eof() crashes nowadays and was anyway a workaround for dynamic_cast, in the distant past when dynamic_cast did not work.
Calling send_eof() crashes nowadays and was anyway a workaround for dynamic_cast, in the distant past when dynamic_cast did not work.