python 时间四舍五入

假设时间格式为 YYYYMMDDhhmm , 比如201508010001 代表2015年8月1日0点01分。

现在有需求，要求一个start 和一个 end 变量的字符串 都是这种格式的时间。 需要一个算法能够把start 向上取整，取到上一个5分钟的整点，而end 向下取整 取到下一个五分钟的整点。 算法如下

start='201501022031'
end='201501022333'
int_start = int(start)
start = str( int_start - int_start%5 )
int_end = int(end)
end = str(int_end+(5-int_end%5))    

start
'201501022030'
end
'201501022335'