src/js/widgets/playerWidget.js
branchpopcorn-port
changeset 830 18ca612e9ff0
parent 820 7968346b9689
child 831 0dd21c298380
--- a/src/js/widgets/playerWidget.js	Tue Mar 06 13:26:51 2012 +0100
+++ b/src/js/widgets/playerWidget.js	Thu Mar 08 18:38:46 2012 +0100
@@ -58,9 +58,9 @@
 /* Update the elasped time div */
 IriSP.PlayerWidget.prototype.timeDisplayUpdater = function() {
   
-  if (this._previousSecond === undefined)
+  if (this._previousSecond === undefined) {
     this._previousSecond = this._Popcorn.roundTime();
-  
+  }
   else {
     /* we're still in the same second, so it's not necessary to update time */
     if (this._Popcorn.roundTime() == this._previousSecond)