dbi.util.DateTime

char[] printDateTime (DateTime dt, char[] res);

Prints a UTC date value in ISO8601 format with a space separating the date and time instead of a 'T'

Params:

DateTime dt	the DateTime to print in UTC
write	a consumer that receives the output

char[] printDate (DateTime dt, char[] res);

Prints a UTC date value in ISO8601 format

Params:

DateTime dt	the DateTime to print in UTC
write	a consumer that receives the output

char[] printTime (DateTime dt, char[] res);

Prints a UTC time value in ISO8601 format

Params:

DateTime dt	the DateTime to print in UTC
write	a consumer that receives the output