auto-reload.js: poll every 5 seconds, not 500 ms

12 years ago · d38801fc4e
1 changed files with 1 additions and 1 deletions
--- a/js/auto-reload.js
+++ b/js/auto-reload.js
@ -33,7 +33,7 @@ $(document).ready(function(){
 			}
 		});
-		poll_interval = setTimeout(poll, 500);
+		poll_interval = setTimeout(poll, 5000);
 	};
 	$(window).scroll(function() {