no leading zeros for array indices, as of draft 08

This commit is contained in:
Stefan Kögl
2013-01-06 10:55:43 +01:00
parent 2462914210
commit 2537956503

View File

@@ -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):