src/js/modules/mediafragment.js
branchpopcorn-port
changeset 751 5cea0b550154
parent 749 e9ee52225395
child 758 7fdb2d92da58
--- a/src/js/modules/mediafragment.js	Tue Jan 31 15:32:35 2012 +0100
+++ b/src/js/modules/mediafragment.js	Tue Jan 31 15:33:45 2012 +0100
@@ -52,9 +52,8 @@
   if ( !history.pushState ) {
     return false;
   }
-  
-  
-  if (IriSP.null_or_undefined(time)) {
+    
+  if (IriSP.null_or_undefined(time) || typeof(time) != "number") {
     var ntime = this._Popcorn.currentTime().toFixed(2)
   } else {
     var ntime = time.toFixed(2);