src/Network/Buffer.hh
changeset 380 d193dd1d8a7e
parent 378 5589abf5e61b
child 399 c7295b72731a
--- a/src/Network/Buffer.hh	Tue Dec 16 20:30:35 2008 +0000
+++ b/src/Network/Buffer.hh	Tue Dec 16 23:21:26 2008 +0000
@@ -204,18 +204,21 @@
     public:    
         /**
          * If we have data in our buffer, flush it out using send().
+         *
+         * @return true if there's still buffered data left to write, false otherwise
          */
-        void flush_write (void);
+        bool flush_write (void);
         
         // @{
         /**
          * Write out the given data, writing first the prefix, and then the data itself, using push_write.
-         *
+         * 
          * @param buf the data to write
          * @param prefix the amount of data
+         * @return true if we had to buffer data, false otherwise
          */
-        void write_prefix (char *buf, uint16_t prefix);
-        void write_prefix (char *buf, uint32_t prefix);
+        bool write_prefix (char *buf, uint16_t prefix);
+        bool write_prefix (char *buf, uint32_t prefix);
         // @}
 };