From 3e5f74e29ea62f88f37af3b37e6a4ddeb2fcb45f Mon Sep 17 00:00:00 2001 From: paul Date: Fri, 8 Dec 2006 04:30:22 +0000 Subject: [PATCH] A more readable secondsToPlaylistTime() function --- .../src/modules/storageServer/var/Playlist.php | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/campcaster/src/modules/storageServer/var/Playlist.php b/campcaster/src/modules/storageServer/var/Playlist.php index 55b476e3e..36f7a7f67 100644 --- a/campcaster/src/modules/storageServer/var/Playlist.php +++ b/campcaster/src/modules/storageServer/var/Playlist.php @@ -1085,16 +1085,13 @@ class Playlist extends StoredFile { * @return string * time in playlist time format (HH:mm:ss.dddddd) */ - public static function secondsToPlaylistTime($s0) + public static function secondsToPlaylistTime($seconds) { - $m = intval($s0 / 60); - $r0 = $s0 - $m*60; - $h = $m / 60; - $m = $m % 60; - $s = intval($r0); - $r = $r0 - $s; - $res = sprintf("%02d:%02d:%02d", $h, $m, $s); - $res .= str_replace('0.', '.', number_format($r, 6, '.', '')); + $hours = floor($seconds / 3600); + $seconds -= $hours * 3600; + $minutes = floor($seconds / 60); + $seconds -= $minutes * 60; + $res = sprintf("%02d:%02d:%02d.000000", $hours, $minutes, $seconds); return $res; }