From 1b758780aa92e07e10dfa02fe1f3980e7f85ee68 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Thu, 30 Mar 2006 07:57:29 +0100 Subject: [PATCH] only append time() to scripts when using dev. version --- backend.php | 2 +- functions.php | 8 ++++++++ prefs.php | 2 +- tt-rss.php | 2 +- 4 files changed, 11 insertions(+), 3 deletions(-) diff --git a/backend.php b/backend.php index bc3b388d..5554adae 100644 --- a/backend.php +++ b/backend.php @@ -83,7 +83,7 @@ 10080 => "Weekly"); $script_started = getmicrotime(); - $script_dt_add = time(); + $script_dt_add = get_script_dt_add(); $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); diff --git a/functions.php b/functions.php index a9081e59..be95caa0 100644 --- a/functions.php +++ b/functions.php @@ -1482,4 +1482,12 @@ } } + function get_script_dt_add() { + if (strpos(VERSION, "99") === false) { + return VERSION; + } else { + return time(); + } + } + ?> diff --git a/prefs.php b/prefs.php index 4cd1cabe..8532b94e 100644 --- a/prefs.php +++ b/prefs.php @@ -14,7 +14,7 @@ login_sequence($link); - $dt_add = time(); + $dt_add = get_script_dt_add(); ?> diff --git a/tt-rss.php b/tt-rss.php index f395ea7c..2906241a 100644 --- a/tt-rss.php +++ b/tt-rss.php @@ -14,7 +14,7 @@ login_sequence($link); - $dt_add = time(); + $dt_add = get_script_dt_add(); ?> -- 2.39.5