pubsub: cast feed_id as integer

diff --git a/backend.php b/backend.php
index b06bd000b95b599195296627b7b49bfa9fb734f9..cee1b6f07cb18ca09634d87eb88d659cab301c5b 100644 (file)
--- a/backend.php
+++ b/backend.php
@@ -547,7 +547,7 @@
 
                case "pubsub":
                        $mode = db_escape_string($_REQUEST['hub_mode']);
-                       $feed_id = db_escape_string($_REQUEST['id']);
+                       $feed_id = (int) db_escape_string($_REQUEST['id']);
                        $feed_url = db_escape_string($_REQUEST['hub_topic']);
 
                        if (!PUBSUBHUBBUB_ENABLED) {