X-Git-Url: https://git.wh0rd.org/?p=chrome-ext%2Fmusic-player-client.git;a=blobdiff_plain;f=main.js;h=c0436df50ddc4ad0faf2f6eb8a19d469e211ca8b;hp=1e83a3b2b6c0b996f34e4b30e12478ccea15554d;hb=77c46373c36d0a0f7ddf5d88064b41985326b578;hpb=a7204fc7d572e685cf591ccc941c35f8ff7cf322 diff --git a/main.js b/main.js index 1e83a3b..c0436df 100644 --- 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)