| commit | 64ad924faf58bb514654e52ddbad8b11bd59bfe0 | [log] [tgz] |
|---|---|---|
| author | Dirk Pranke <dpranke@chromium.org> | Fri Mar 08 14:13:17 2019 -0800 |
| committer | Dirk Pranke <dpranke@chromium.org> | Fri Mar 08 14:22:46 2019 -0800 |
| tree | 7f129e78288e7e190c620294c4aa9a1760162532 | |
| parent | 12dfb790a7e3faa728ddc581f24f9f22d6eac5c1 [diff] |
Fix github issue #23, not parsing an escape char case properly.
It turns out that unrecognized characters in escape sequences
should be tolerated and passed through. This change implements that and
also adds support for \0 in string literals:
$ python3
>>> import json5
>>> json5.loads(r'"\/"')
'/'
>>> json5.loads(r'"\0"')
'\x00'
>>> quit()
$