Convert a calendar time to a string
String_Type ctime(ULong_Type secs)
This function returns a string representation of the time as given by secs seconds since 1970.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}