| 314 | } |
| 315 | |
| 316 | bool JSONReader::jumpTo(char marker) { |
| 317 | const UInt8* cur(current()); |
| 318 | if (!cur || *cur != marker) { |
| 319 | ERROR("JSON malformed, marker ", marker , " unfound"); |
| 320 | packet.next(packet.available()); |
| 321 | return false; |
| 322 | } |
| 323 | return cur != NULL; |
| 324 | } |
| 325 | |
| 326 | const UInt8* JSONReader::current() { |
| 327 | while(packet.available() && isspace(*packet.current())) |