API: getHeadlines: check for feed_id correctly

This commit is contained in:
Andrew Dolgov 2018-08-29 12:53:30 +03:00
parent 803b8ead1e
commit 70e180e887
1 changed files with 5 additions and 5 deletions

View File

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