diff options
| author | Andrew Dolgov <[email protected]> | 2005-11-29 14:14:53 +0100 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2005-11-29 14:14:53 +0100 |
| commit | 7a232fc6b5f3a621cc0a7f55a3de4130f4738090 (patch) | |
| tree | f2844f9513d75de2a115c9ab674f6373470e1e79 /backend.php | |
| parent | 0477a326a94ccc4fea44ac2ee014204fabe70fe8 (diff) | |
UNDO: change sprintf() to proper is_int() checking
Diffstat (limited to 'backend.php')
| -rw-r--r-- | backend.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/backend.php b/backend.php index 5c7fa491b..f79d7249e 100644 --- a/backend.php +++ b/backend.php @@ -778,7 +778,7 @@ </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 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"; |