| 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;