compile javascript files with the closure compiler

[chrome-ext/music-player-client.git] / main.js

diff --git a/main.js b/main.js
index 1e83a3b2b6c0b996f34e4b30e12478ccea15554d..c0436df50ddc4ad0faf2f6eb8a19d469e211ca8b 100644 (file)
--- a/main.js
+++ b/main.js
@@ -151,7 +151,7 @@ function do_refresh() {
 }
 
 function update_refresh_timer() {
-       if (refresh_id != NaN)
+       if (!isNaN(refresh_id))
                window.clearTimeout(refresh_id);
        var rate = window['opts_refresh'].value * 1000;
        if (rate > 0)