From 7a232fc6b5f3a621cc0a7f55a3de4130f4738090 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Tue, 29 Nov 2005 14:14:53 +0100 Subject: [PATCH] UNDO: change sprintf() to proper is_int() checking --- backend.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/backend.php b/backend.php index 5c7fa491..f79d7249 100644 --- a/backend.php +++ b/backend.php @@ -778,7 +778,7 @@ "; } - if ($subop == "ForceUpdate" && is_int($feed)) { + if ($subop == "ForceUpdate" && sprintf("%d", $feed) > 0) { $tmp_result = db_query($link, "SELECT feed_url FROM ttrss_feeds WHERE id = '$feed'"); @@ -791,7 +791,7 @@ if ($subop == "MarkAllRead") { - if (is_int($feed)) { + if (sprintf("%d", $feed) != 0) { if ($feed > 0) { db_query($link, "UPDATE ttrss_user_entries @@ -920,7 +920,7 @@ $query_strategy_part = "id > 0"; $vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE id = feed_id) as feed_title,"; - } else if (is_int($feed)) { + } else if (sprintf("%d", $feed) == 0) { $query_strategy_part = "ttrss_entries.id > 0"; $vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE id = feed_id) as feed_title,"; @@ -954,7 +954,7 @@ if ($search && $search_mode == "All feeds") { $feed_title = "Search results"; - } else if (is_int($feed)) { + } else if (sprintf("%d", $feed) == 0) { $feed_title = $feed; } else if ($feed > 0) { $result = db_query($link, "SELECT title,site_url FROM ttrss_feeds @@ -976,7 +976,7 @@ if ($feed < -10) error_reporting (0); - if (is_int($feed) != 0) { + if (sprintf("%d", $feed) != 0) { if ($feed > 0) { $feed_kind = "Feeds"; -- 2.39.5