src/Network/TCP.hh
changeset 380 d193dd1d8a7e
parent 378 5589abf5e61b
child 381 9b35bc329d23
--- a/src/Network/TCP.hh	Tue Dec 16 20:30:35 2008 +0000
+++ b/src/Network/TCP.hh	Tue Dec 16 23:21:26 2008 +0000
@@ -76,12 +76,12 @@
         /**
          * Get this TCP socket's local address
          */
-        NetworkAddress getLocalAddress (void) { return socket->get_local_address(); }
+        NetworkAddress get_local_address (void) { return socket->get_local_address(); }
 
         /**
          * Get this TCP socket's remote address
          */
-        NetworkAddress getRemoteAddress (void) { return socket->get_remote_address(); }
+        NetworkAddress get_remote_address (void) { return socket->get_remote_address(); }
         
         /**
          * Write the given packet to this socket output, buffering the data if need be
@@ -89,6 +89,11 @@
          * @param packet the packet to send
          */
         void write_packet (const NetworkPacketBuffer &packet);
+
+        /**
+         * Handle disconnect, disable socket
+         */
+        void handle_disconnect (void);
         
         /**
          * A full packet has been received from the remote end