| 78 | } |
| 79 | |
| 80 | void JSONWriter::writeString(const char* value, UInt32 size) { |
| 81 | |
| 82 | start(); |
| 83 | packet.write8('"'); |
| 84 | packet.write(value,size); |
| 85 | packet.write8('"'); |
| 86 | end(); |
| 87 | } |
| 88 | |
| 89 | UInt64 JSONWriter::writeDate(const Date& date) { |
| 90 | string buffer; |