add ability to hide feeds from browser (closes #21)

1 files changed, 9 insertions, 0 deletions

diff --git a/functions.php b/functions.php
index c67a7a99b..de5eb8a2e 100644
--- a/functions.php
+++ b/functions.php
@@ -867,7 +867,16 @@
 			return "false";
 		}
 	}
+
+	function sql_bool_to_bool($s) {
+		if ($s == "t" || $s == "1") {
+			return true;
+		} else {
+			return false;
+		}
+	}
 	
+
 	function toggleEvenOdd($a) {
 		if ($a == "even") 
 			return "odd";