From 6298e9bf33c7d16cdd355aef1cad5d93c58681a8 Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <ste.pigozzi@gmail.com>
Date: Sun, 3 Feb 2019 20:36:29 +0100
Subject: [PATCH] ?????????????????

---
 webserver.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webserver.py b/webserver.py
index f7c64580..415205a1 100644
--- a/webserver.py
+++ b/webserver.py
@@ -262,7 +262,7 @@ def page_wiki(key: str):
 @require_login
 def page_wiki_edit(key: str):
     wiki_page = fl_g.session.query(db.WikiEntry).filter_by(key=key).one_or_none()
-    if wiki_page.locked:
+    if wiki_page is not None and wiki_page.locked:
         abort(403)
         return
     new_content = request.form.get("content")