# HG changeset patch
# User hamidouk
# Date 1328020425 -3600
# Node ID 5cea0b5501541e0a67eeecf523471d447d05beca
# Parent  a1a3d09de1f4984ab9a13908df12393285abd5c0
check if the seeked signal handler receives the seek destination argument.
it it's the case, assume we're going there.

diff -r a1a3d09de1f4 -r 5cea0b550154 src/js/modules/mediafragment.js
--- 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);