diff options
author | Stefan Kögl <stefan@skoegl.net> | 2013-01-06 10:55:43 +0100 |
---|---|---|
committer | Stefan Kögl <stefan@skoegl.net> | 2013-01-06 10:55:43 +0100 |
commit | 2537956503ea982f0fa29f54399677605a60218d (patch) | |
tree | a1c710c348268acacab53b05820bf0b062c343ee /jsonpointer.py | |
parent | 24629142104ec7c624fc5aaa975adc6fe9f89483 (diff) | |
download | python-json-pointer-2537956503ea982f0fa29f54399677605a60218d.tar.gz |
no leading zeros for array indices, as of draft 08
Diffstat (limited to 'jsonpointer.py')
-rw-r--r-- | jsonpointer.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jsonpointer.py b/jsonpointer.py index b84e958..cbb9137 100644 --- a/jsonpointer.py +++ b/jsonpointer.py @@ -52,8 +52,8 @@ from itertools import tee import re -# array indices must not contain signs, spaces, decimal parts, etc -RE_ARRAY_INDEX=re.compile('^[0-9]+$') +# array indices must not contain leading zeros, signs, spaces, decimals, etc +RE_ARRAY_INDEX=re.compile('0|[1-9][0-9]*$') class JsonPointerException(Exception): |