function prettyTime(totalSeconds) {
            function prettyTimeString(num) {
                return (num < 10 ? "0" : "") + num;
            }

            var hours = Math.floor(totalSeconds / 3600);
            totalSeconds = totalSeconds % 3600;
            var minutes = Math.floor(totalSeconds / 60);
            totalSeconds = totalSeconds % 60;
            var seconds = Math.floor(totalSeconds);
            // Pad the minutes and seconds with leading zeros, if required
            hours = prettyTimeString(hours);
            minutes = prettyTimeString(minutes);
            seconds = prettyTimeString(seconds);
            // Compose the string for display
            return hours + ":" + minutes + ":" + seconds;
        }
//Converts a time in milliseconds to a human readable string
Converts a time in milliseconds to a human readable string
Converts a time in milliseconds to a human readable string
function prettyTime(totalSeconds) {
            function prettyTimeString(num) {
                return (num < 10 ? "0" : "") + num;
            }
            var hours = Math.floor(totalSeconds / 3600);
            totalSeconds = totalSeconds % 3600;
            var minutes = Math.floor(totalSeconds / 60);
            totalSeconds = totalSeconds % 60;
            var seconds = Math.floor(totalSeconds);
            hours = prettyTimeString(hours);
            minutes = prettyTimeString(minutes);
            seconds = prettyTimeString(seconds);
            return hours + ":" + minutes + ":" + seconds;
        }
function prettyTime ( totalSeconds ) { function prettyTimeString ( num ) { return ( num < 10 ? "0" : "" ) + num ; } var hours = Math . floor ( totalSeconds / 3600 ) ; totalSeconds = totalSeconds % 3600 ; var minutes = Math . floor ( totalSeconds / 60 ) ; totalSeconds = totalSeconds % 60 ; var seconds = Math . floor ( totalSeconds ) ; hours = prettyTimeString ( hours ) ; minutes = prettyTimeString ( minutes ) ; seconds = prettyTimeString ( seconds ) ; return hours + ":" + minutes + ":" + seconds ; }
Converts a time in milliseconds to a human readable string
Converts a time in milliseconds to a human readable string
// Pad the minutes and seconds with leading zeros, if required // Compose the string for display