def normalise( input_time) :
"""
Args:
input_time (int)
"""
finished = None
# This produces a formatted string like:
# Thu_Nov_24:18:22:48_1986
str_time = format_time( input_time)
while str_time[ 1 :4 ] != "Sun" :
input_time -= 24 *60 *60
str_time = format_time( input_time)
while str_time[ 11 :13 ] != "00" :
input_time -= 60 *60
str_time = format_time( input_time)
while str_time[ 14 :16 ] != "00" :
str_time = format_time( input_time)
input_time -= 60
while str_time[ 17 :19 ] != "00" :
input_time -= 1
str_time = format_time( input_time)
return input_time
ZGVmIG5vcm1hbGlzZShpbnB1dF90aW1lKToKCSIiIgoJQXJnczoKCWlucHV0X3RpbWUgKGludCkKCSIiIgoJZmluaXNoZWQgPSBOb25lCiAKCSMgVGhpcyBwcm9kdWNlcyBhIGZvcm1hdHRlZCBzdHJpbmcgbGlrZToKCSMgICBUaHVfTm92XzI0OjE4OjIyOjQ4XzE5ODYKCXN0cl90aW1lID0gZm9ybWF0X3RpbWUoaW5wdXRfdGltZSkKIAoJd2hpbGUgc3RyX3RpbWVbMTo0XSAhPSAiU3VuIjoKCQlpbnB1dF90aW1lIC09IDI0KjYwKjYwCgkJc3RyX3RpbWUgPSBmb3JtYXRfdGltZShpbnB1dF90aW1lKQogCgl3aGlsZSBzdHJfdGltZVsxMToxM10gIT0gIjAwIjoKCQlpbnB1dF90aW1lIC09IDYwKjYwCgkJc3RyX3RpbWUgPSBmb3JtYXRfdGltZShpbnB1dF90aW1lKQogCgl3aGlsZSBzdHJfdGltZVsxNDoxNl0gIT0gIjAwIjoKCQlzdHJfdGltZSA9IGZvcm1hdF90aW1lKGlucHV0X3RpbWUpCgkJaW5wdXRfdGltZSAtPSA2MAogCgl3aGlsZSBzdHJfdGltZVsxNzoxOV0gIT0gIjAwIjoKCQlpbnB1dF90aW1lIC09IDEKCQlzdHJfdGltZSA9IGZvcm1hdF90aW1lKGlucHV0X3RpbWUpCgogcmV0dXJuIGlucHV0X3RpbWUK
compilation info
Traceback (most recent call last):
File "<string>", line 1, in <module>
File "/usr/lib/python2.7/py_compile.py", line 117, in compile
raise py_exc
py_compile.PyCompileError: Sorry: IndentationError: unindent does not match any outer indentation level (prog.py, line 28)
stdout