tree 9d7c1602ecefd2f4f37fac23a5a56973595e4030
parent 32339be92a0c2be61cb257bd52b065838873f824
author Bo Yang <teboring@google.com> 1548665505 +0000
committer Bo Yang <teboring@google.com> 1548709071 +0000

Convert integer to string if field is string field in json
json_decode automatically convert numeric string to integer, so that
we need to convert it back. However, this will suceed to parse invalid
json data with string field set as integer even though it should have failed.
Because, the failure case is less often than the succeeding case, we decided
to make this change. Users should make sure their data don't use integer for
string fields by themselves.