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

diff --git a/classes/api.php b/classes/api.php
index 607a25e66ae9e0e9e8148c0a015c87dc8335ce24..58fccdfeafca3125a86a61c2e61f6bbbde5afa21 100755 (executable)
--- a/classes/api.php
+++ b/classes/api.php
@@ -186,7 +186,7 @@ class API extends Handler {
 
        function getHeadlines() {
                $feed_id = clean($_REQUEST["feed_id"]);
-               if (is_int($feed_id)) {
+               if ($feed_id !== "") {
 
                        if (is_numeric($feed_id)) $feed_id = (int) $feed_id;