def get_iso_time():
t1 = time.time()<EOL>t2 = datetime.datetime.fromtimestamp(t1)<EOL>t4 = t2.__str__()<EOL>try:<EOL><INDENT>t4a, t4b = t4.split("<STR_LIT:.>", <NUM_LIT:1>)<EOL><DEDENT>except ValueError:<EOL><INDENT>t4a = t4<EOL>t4b = '<STR_LIT>'<EOL><DEDENT>t5 = datetime.datetime.strptime(t4a, "<STR_LIT>")<EOL>ms = int(t4b.ljust(<NUM_LIT:6>, '<STR_LIT:0>')[:<NUM_LIT:6>])<EOL>return t5.replace(microsecond=ms)<EOL>
returns time as ISO string, mapping to and from datetime in ugly way

    convert to string with str()