From f2e25ded3ad22bdedb185d8f4ed609f63c1d00cd Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Mon, 3 Dec 2018 17:55:42 +0000 Subject: [PATCH] wiki: Rename is_watching() to is_watched_by() Signed-off-by: Michael Tremer --- src/backend/wiki.py | 4 ++-- src/templates/wiki/edit.html | 2 +- src/templates/wiki/page.html | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/backend/wiki.py b/src/backend/wiki.py index 65b9d600..20cc82f9 100644 --- a/src/backend/wiki.py +++ b/src/backend/wiki.py @@ -360,7 +360,7 @@ class Page(misc.Object): # Watchers - def is_watching(self, account): + def is_watched_by(self, account): res = self.db.get("SELECT 1 FROM wiki_watchlist \ WHERE page = %s AND uid = %s", self.page, account.uid) @@ -370,7 +370,7 @@ class Page(misc.Object): return False def add_watcher(self, account): - if self.is_watching(account): + if self.is_watched_by(account): return self.db.execute("INSERT INTO wiki_watchlist(page, uid) \ diff --git a/src/templates/wiki/edit.html b/src/templates/wiki/edit.html index 8bfef5d0..b7bc4dc0 100644 --- a/src/templates/wiki/edit.html +++ b/src/templates/wiki/edit.html @@ -34,7 +34,7 @@ - {% if page and not page.is_watching(current_user) %} + {% if page and not page.is_watched_by(current_user) %}
diff --git a/src/templates/wiki/page.html b/src/templates/wiki/page.html index 4ccfea44..e1567d53 100644 --- a/src/templates/wiki/page.html +++ b/src/templates/wiki/page.html @@ -25,7 +25,7 @@

{% if current_user %} - {% if page.is_watching(current_user) %} + {% if page.is_watched_by(current_user) %} {% else %} -- 2.47.3