Fix for #2174 - Web interface: fade values are rounded to whole seconds.

This commit is contained in:
paul 2007-02-16 15:07:44 +00:00
parent b7d3a2a4ed
commit 6eb888ecdc
1 changed files with 6 additions and 4 deletions

View File

@ -662,18 +662,20 @@ class Playlist extends StoredFile {
/** /**
* Convert float seconds value to playlist time format * Convert float seconds value to playlist time format
* *
* @param int $s0 * @param float $seconds
* seconds
* @return string * @return string
* time in playlist time format (HH:mm:ss.dddddd) * time in playlist time format (HH:mm:ss.dddddd)
*/ */
public static function secondsToPlaylistTime($seconds) public static function secondsToPlaylistTime($p_seconds)
{ {
$seconds = $p_seconds;
$milliseconds = intval(($seconds - intval($seconds)) * 1000);
$milliStr = str_pad($milliseconds, 6, '0');
$hours = floor($seconds / 3600); $hours = floor($seconds / 3600);
$seconds -= $hours * 3600; $seconds -= $hours * 3600;
$minutes = floor($seconds / 60); $minutes = floor($seconds / 60);
$seconds -= $minutes * 60; $seconds -= $minutes * 60;
$res = sprintf("%02d:%02d:%02d.000000", $hours, $minutes, $seconds); $res = sprintf("%02d:%02d:%02d.%s", $hours, $minutes, $seconds, $milliStr);
return $res; return $res;
} }