From 6eb888ecdc209a30f118a8684bf6d60b9e9e5e9a Mon Sep 17 00:00:00 2001
From: paul <paul@cfc7b370-4200-0410-a6e3-cb6bdb053afe>
Date: Fri, 16 Feb 2007 15:07:44 +0000
Subject: [PATCH] Fix for #2174 - Web interface: fade values are rounded to
 whole seconds.

---
 campcaster/src/modules/storageServer/var/Playlist.php | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/campcaster/src/modules/storageServer/var/Playlist.php b/campcaster/src/modules/storageServer/var/Playlist.php
index a31695a3a..ac7a86e5d 100644
--- a/campcaster/src/modules/storageServer/var/Playlist.php
+++ b/campcaster/src/modules/storageServer/var/Playlist.php
@@ -662,18 +662,20 @@ class Playlist extends StoredFile {
     /**
      * Convert float seconds value to playlist time format
      *
-     * @param int $s0
-     * 		seconds
+     * @param float $seconds
      * @return string
      * 		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);
         $seconds -= $hours * 3600;
         $minutes = floor($seconds / 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;
     }