only precache_headlines_idle() when actually idle

1 files changed, 5 insertions, 14 deletions

diff --git a/js/functions.js b/js/functions.js
index b2d79dc56..578172c77 100644
--- a/js/functions.js
+++ b/js/functions.js
@@ -393,20 +393,6 @@ function getURLParam(param){
 	return String(window.location.href).parseQuery()[param];
 }
 
-function leading_zero(p) {
-	var s = String(p);
-	if (s.length == 1) s = "0" + s;
-	return s;
-}
-
-function make_timestamp() {
-	var d = new Date();
-
-  	return leading_zero(d.getHours()) + ":" + leading_zero(d.getMinutes()) +
-			":" + leading_zero(d.getSeconds());
-}
-
-
 function closeInfoBox(cleanup) {
 	try {
 		dialog = dijit.byId("infoBox");
@@ -1718,3 +1704,8 @@ function get_radio_checked(radioObj) {
 	}
 	return("");
 }
+
+function get_timestamp() {
+	var date = new Date();
+	return Math.round(date.getTime() / 1000);
+}