web/res/metadataplayer/src/js/LdtPlayer.js
changeset 203 8124cde38141
parent 202 2bf0fd3432bf
child 229 74c9ddc3640b
--- a/web/res/metadataplayer/src/js/LdtPlayer.js	Tue Jun 28 22:23:56 2011 +0200
+++ b/web/res/metadataplayer/src/js/LdtPlayer.js	Thu Jun 30 02:10:21 2011 +0200
@@ -725,7 +725,7 @@
 	var t_pos = hash_part.indexOf("t=");
 	var res = "";
 	if (t_pos >= 0) {
-		res = hash_part.replace(/t=\d*/, "t="+time);
+		res = hash_part.replace(/t=[\d.]*/, "t="+time);
 	}
 	else {
 		res = hash_part;