fix bug in simple search

realms/modules/search/models.py

@@ -1,3 +1,4 @@
+import re
 import sys
 
 from flask import g, current_app
@@ -40,8 +41,12 @@ class SimpleSearch(BaseSearch):
         res = []
         for entry in g.current_wiki.get_index():
             name = filename_to_cname(entry['name'])
+            name = re.sub(r"//+", '/', name)
             if set(query.split()).intersection(name.replace('/', '-').split('-')):
                 page = g.current_wiki.get_page(name)
+
+                # this can be None, not sure how
+                if page:
                     res.append(dict(name=name, content=page['data']))
         return res