0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix a bug in boost that doesn't let us read 0 byte files from gzip streams

Browse source 
Bug #16544
This commit is contained in:
Jon Daniel 2012-05-02 12:57:10 +00:00
parent 3277f00658
commit 14ab49ccd9
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/serialization/tokenizer.hpp
View file

@ -18,7 +18,7 @@
#define TOKENIZER_H_INCLUDED
#include "buffered_istream.hpp"
#include <boost/iostreams/filter/gzip.hpp>
#include <istream>
#include <string>
@ -105,7 +105,11 @@ private:
void next_char_fast()
{
do {
current_ = in_.get();
try {
current_ = in_.get();
} catch(boost::iostreams::gzip_error e) {
current_ = EOF;
}
} while (UNLIKELY(current_ == '\r'));
#if 0
/// @todo disabled untill campaign server is fixed