Fix report exports to honor user decimal mark designation.

[timetracker.git] / WEB-INF / lib / common.lib.php

diff --git a/WEB-INF/lib/common.lib.php b/WEB-INF/lib/common.lib.php
index 124b78f5887823c3d13a61370f96008d4561e21d..d98e8889298ca10d37dbe70a86051a4ca3d045d4 100644 (file)
--- a/WEB-INF/lib/common.lib.php
+++ b/WEB-INF/lib/common.lib.php
@@ -144,13 +144,14 @@
        }
 
 function time_to_decimal($a) {
+  global $user;
   $tmp = explode(":", $a);
   if($tmp[1]{0}=="0") $tmp[1] = $tmp[1]{1};
 
   $m = round($tmp[1]*100/60);
 
   if($m<10) $m = "0".$m;
-  $time = $tmp[0].".".$m;
+  $time = $tmp[0].$user->decimal_mark.$m;
   return $time;
 }