From f9748f538ba339b0f52c22266614247d1a412419 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdio.flexvps.nl>
Date: Sun, 8 Jun 2008 14:52:44 +0200
Subject: [PATCH]  * Show the search box to logged in users.

---
 plugin/theme/exodus.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/plugin/theme/exodus.py b/plugin/theme/exodus.py
index e5d854d..479a258 100644
--- a/plugin/theme/exodus.py
+++ b/plugin/theme/exodus.py
@@ -18,6 +18,12 @@ class Theme(ThemeBase):
         else:
             return ''
 
+    def searchform(self, d):
+        if self.request.user.valid:
+            return ThemeBase.searchform(self, d)
+        else:
+            return ''
+
     def header(self, d, **kw):
         """ Assemble wiki header
         
@@ -32,7 +38,7 @@ class Theme(ThemeBase):
             # Header
             u'<div id="header">',
             #self.logo(),
-            #self.searchform(d),
+            self.searchform(d),
             #self.username(d),
             u'<div id="locationline">',
             #self.interwiki(d),
-- 
2.30.2