j3d1/json
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

🐛 fixed a bug if parser was called with a stream at EOF (#367)

Browse source
This commit is contained in:
Niels Lohmann 2016-11-24 21:45:10 +01:00
parent e3450cac72
commit dfc49e7afe
2 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/json.hpp
View file

@ -8743,8 +8743,11 @@ basic_json_parser_66:
// append n characters to make sure that there is sufficient // append n characters to make sure that there is sufficient
// space between m_cursor and m_limit // space between m_cursor and m_limit
m_line_buffer.append(1, '\x00'); m_line_buffer.append(1, '\x00');
if (n > 0)
{
m_line_buffer.append(n - 1, '\x01'); m_line_buffer.append(n - 1, '\x01');
} }
}
else else
{ {
// delete processed characters from line buffer // delete processed characters from line buffer

3
src/json.hpp.re2c
View file

@ -7892,8 +7892,11 @@ class basic_json
// append n characters to make sure that there is sufficient // append n characters to make sure that there is sufficient
// space between m_cursor and m_limit // space between m_cursor and m_limit
m_line_buffer.append(1, '\x00'); m_line_buffer.append(1, '\x00');
if (n > 0)
{
m_line_buffer.append(n - 1, '\x01'); m_line_buffer.append(n - 1, '\x01');
} }
}
else else
{ {
// delete processed characters from line buffer // delete processed characters from line buffer