From db34e084e70d8561263310496a90dc01ccc7388b Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Tue, 16 Nov 2010 16:42:55 +0300
Subject: [PATCH] feedlist_init_cat: assume cat_id is integer

---
 functions.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/functions.php b/functions.php
index 5fe775971..e2e984558 100644
--- a/functions.php
+++ b/functions.php
@@ -6963,6 +6963,7 @@
 
 	function feedlist_init_cat($link, $cat_id, $hidden = false) {
 		$obj = array();
+		$cat_id = (int) $cat_id;
 
 		if ($cat_id > 0) {
 			$cat_unread = ccache_find($link, $cat_id, $_SESSION["uid"], true);