api: getHeadlines: cast feed_it to int if needed

diff --git a/classes/api.php b/classes/api.php
index cbb4720c1b6c0d1cbecd811edb8ebfbec0038416..2691625c7bfab7fb5df79ae2d07f306d19a3c06f 100644 (file)
--- a/classes/api.php
+++ b/classes/api.php
@@ -184,6 +184,8 @@ class API extends Handler {
                $feed_id = $this->dbh->escape_string($_REQUEST["feed_id"]);
                if ($feed_id != "") {
 
+                       if (is_numeric($feed_id)) $feed_id = (int) $feed_id;
+
                        $limit = (int)$this->dbh->escape_string($_REQUEST["limit"]);
 
                        if (!$limit || $limit >= 200) $limit = 200;