/*
格式化时间hh:mm:ss 不够一小时 返回 mm:ss
*/
public static String formatPlayTime(int time){
// hh:mm:ss 不够一小时 返回 mm:ss
int hour = 60*60*1000;
int minute = 60*1000;
int second = 1000;
int h = time/hour;
int m = time%hour/minute;
int s = time%minute/second;
if(h>0){
return String.format("%02d:%02d:%02d",h,m,s);
}else{
return String.format("%02d:%02d",m,s);
}
}