MonetDB: json - Integers in JSON cannot start with zeros

[Panagiotis Koutsourakis]

Changeset: 39c1ddd0b944 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=39c1ddd0b944
Modified Files:
        monetdb5/modules/atoms/json.c
Branch: json
Log Message:

Integers in JSON cannot start with zeros


diffs (15 lines):

diff --git a/monetdb5/modules/atoms/json.c b/monetdb5/modules/atoms/json.c
--- a/monetdb5/modules/atoms/json.c
+++ b/monetdb5/modules/atoms/json.c
@@ -763,6 +763,11 @@ JSONnumberParser(const char *j, const ch
                *next = j;
                throw(MAL, "json.parser", "Number expected");
        }
+       if (*j == '0') {
+               *next = j + 1;
+               return MAL_SUCCEED;
+       }
+
        for (; *j; j++)
                if (!isdigit((unsigned char) *j))
                        break;
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list