On 01/27/2015 12:24 AM, Noah Misch wrote:
>> For the moment, maybe I could commit the fix for the non U+0000 case for
>> escape_json, and we could think some more about detecting and warning about
>> the problem strings.
> +1 for splitting development that way. Fixing the use of escape_json() is
> objective, but the choices around the warning are more subtle.
>
OK, so something like this patch? I'm mildly concerned that you and I
are the only ones commenting on this.
cheers
andrew