Method __builtin.Sql.Connection()->encode_time()

Method encode_time

string encode_time(int time, int|void date)

Description

Converts a system time value to an appropriately formatted time spec for the database.

Parameter time

Time to encode.

Parameter date

If nonzero then time is taken as a "full" unix time spec (where the date part is ignored), otherwise it's converted as a seconds-since-midnight value.

The default implementation returns a colon-separated ISO 9601 time.