* Show the search box to logged in users.

diff --git a/plugin/theme/exodus.py b/plugin/theme/exodus.py
index e5d854d5e75d6c3f985158e5559c545ac48401f7..479a258c31c52ce7858eaddbe5fb070f30b3904b 100644 (file)
--- 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),