Escape token for output as JSON string.
| 623 | |
| 624 | // Escape token for output as JSON string. |
| 625 | static void JSON_escape(FILE *out, const char *token) |
| 626 | { |
| 627 | // To preserve, simply escape the escape and all ": |
| 628 | const char *p; |
| 629 | for (p = token; *p; p++) { |
| 630 | if (*p == '\n') { |
| 631 | fputs("\\n", out); |
| 632 | continue; |
| 633 | } |
| 634 | if (*p == '\\' || *p == '"') |
| 635 | fputc('\\', out); |
| 636 | fputc(*p, out); |
| 637 | } |
| 638 | } |
| 639 | |
| 640 | // Escape token for output as XML text. |
| 641 | static void XML_escape(FILE *out, const char *token) |