API: oops, forgot that headlines could be requested for a tag

This commit is contained in:
Andrew Dolgov 2018-08-29 12:55:03 +03:00
parent 70e180e887
commit a291a0c00f
1 changed files with 1 additions and 1 deletions

View File

@ -186,7 +186,7 @@ class API extends Handler {
function getHeadlines() { function getHeadlines() {
$feed_id = clean($_REQUEST["feed_id"]); $feed_id = clean($_REQUEST["feed_id"]);
if (is_int($feed_id)) { if ($feed_id !== "") {
if (is_numeric($feed_id)) $feed_id = (int) $feed_id; if (is_numeric($feed_id)) $feed_id = (int) $feed_id;