UNDO: change sprintf() to proper is_int() checking

This commit is contained in:
Andrew Dolgov 2005-11-29 14:14:53 +01:00
parent 0477a326a9
commit 7a232fc6b5
1 changed files with 5 additions and 5 deletions

View File

@ -778,7 +778,7 @@
</head><body onload='init()'>"; </head><body onload='init()'>";
} }
if ($subop == "ForceUpdate" && is_int($feed)) { if ($subop == "ForceUpdate" && sprintf("%d", $feed) > 0) {
$tmp_result = db_query($link, "SELECT feed_url FROM ttrss_feeds $tmp_result = db_query($link, "SELECT feed_url FROM ttrss_feeds
WHERE id = '$feed'"); WHERE id = '$feed'");
@ -791,7 +791,7 @@
if ($subop == "MarkAllRead") { if ($subop == "MarkAllRead") {
if (is_int($feed)) { if (sprintf("%d", $feed) != 0) {
if ($feed > 0) { if ($feed > 0) {
db_query($link, "UPDATE ttrss_user_entries db_query($link, "UPDATE ttrss_user_entries
@ -920,7 +920,7 @@
$query_strategy_part = "id > 0"; $query_strategy_part = "id > 0";
$vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE $vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE
id = feed_id) as feed_title,"; id = feed_id) as feed_title,";
} else if (is_int($feed)) { } else if (sprintf("%d", $feed) == 0) {
$query_strategy_part = "ttrss_entries.id > 0"; $query_strategy_part = "ttrss_entries.id > 0";
$vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE $vfeed_query_part = "(SELECT title FROM ttrss_feeds WHERE
id = feed_id) as feed_title,"; id = feed_id) as feed_title,";
@ -954,7 +954,7 @@
if ($search && $search_mode == "All feeds") { if ($search && $search_mode == "All feeds") {
$feed_title = "Search results"; $feed_title = "Search results";
} else if (is_int($feed)) { } else if (sprintf("%d", $feed) == 0) {
$feed_title = $feed; $feed_title = $feed;
} else if ($feed > 0) { } else if ($feed > 0) {
$result = db_query($link, "SELECT title,site_url FROM ttrss_feeds $result = db_query($link, "SELECT title,site_url FROM ttrss_feeds
@ -976,7 +976,7 @@
if ($feed < -10) error_reporting (0); if ($feed < -10) error_reporting (0);
if (is_int($feed) != 0) { if (sprintf("%d", $feed) != 0) {
if ($feed > 0) { if ($feed > 0) {
$feed_kind = "Feeds"; $feed_kind = "Feeds";