| 419 | } |
| 420 | } |
| 421 | void writeNumber(double value) { |
| 422 | if ((_option <= 2 || value) && writeHeader()) { |
| 423 | if (_option == EXPIRES) { |
| 424 | string date; |
| 425 | writeContent<String>(Date(Time::Now()+(Int64)(value*1000),Date::GMT).toString(Date::RFC1123_FORMAT, date)); |
| 426 | } else |
| 427 | writeContent<String>(value); |
| 428 | } |
| 429 | _option = NO; |
| 430 | } |
| 431 | |
| 432 | private: |
| 433 |