| 123 | } |
| 124 | |
| 125 | int gzstreambuf::sync() { |
| 126 | // Changed to use flush_buffer() instead of overflow( EOF) |
| 127 | // which caused improper behavior with std::endl and flush(), |
| 128 | // bug reported by Vincent Ricard. |
| 129 | if ( pptr() && pptr() > pbase()) { |
| 130 | if ( flush_buffer() == EOF) |
| 131 | return -1; |
| 132 | } |
| 133 | return 0; |
| 134 | } |
| 135 | |
| 136 | // -------------------------------------- |
| 137 | // class gzstreambase: |
no test coverage detected