only update every seconds when there's a sound playing

diff --git a/templates/index.html b/templates/index.html
index 3b227e39e85c86b5313e5b8afa4011c7f80e4e73..7915230c4eba097043d5f196232713fe06ef0047 100644 (file)
--- a/templates/index.html
+++ b/templates/index.html
@@ -458,7 +458,8 @@
         }
 
         // Check the version of playlist to see if update is needed.
-        setInterval(function(){
+        var update_interval_id = null;
+        function update() {
             $.ajax({
                 type: 'POST',
                 url : 'post',
@@ -469,10 +470,18 @@
                             playlist_ver = data.ver;
                         }
                         updateControls(data);
+                        if (data.play) {
+                            clearInterval(update_interval_id);
+                            update_interval_id = setInterval(update, 1000);
+                        } else {
+                            clearInterval(update_interval_id);
+                            update_interval_id = setInterval(update, 3000);
+                        }
                     }
                 }
             });
-        } , 1000);
+        }
+        update_interval_id = setInterval(update, 3000);
 
         themeInit();
         $(document).ready(updatePlaylist);