| Ticket Hash: | 57eec374ae1d0a1d4a23077a95f4e173fe269113 | ||
| Title: | JSON1 accepts form-feed (char(12)) as a white-space character | ||
| Status: | Fixed | Type: | Code_Defect |
| Severity: | Minor | Priority: | Immediate |
| Subsystem: | Unknown | Resolution: | Fixed |
| Last Modified: | 2015-10-16 15:16:13 | ||
| Version Found In: | 3.9.0 | ||
| User Comments: | ||||
|
drh added on 2015-10-16 15:00:33:
The JSON extension is accepting and form-feed (0xc) as whitespace. But RFC-7159 says that only space (0x20), tab (0x09), line-feed (0x0a) and carriage-return (0x0d) are whitespace for JSON. | ||||