Merge branch 'dev_routing' of https://github.com/rerdavies/pipedal into dev_tone3000

This commit is contained in:
Robin E.R. Davies
2026-02-10 20:18:09 -05:00
48 changed files with 2959 additions and 595 deletions
+2 -2
View File
@@ -562,8 +562,8 @@ void json_reader::skip_array()
void json_reader::skip_object()
{
int c;
consume('{');
int c;
while (true)
{
c = peek();
@@ -571,7 +571,7 @@ void json_reader::skip_object()
if (c == '}')
{
c = get();
break;
return;
}
skip_string(); // name.
consume(':');