Added TCPSocket destructor (empty)