From 9d863316e4d4b9d8de2a92d761dba81232be1c98 Mon Sep 17 00:00:00 2001
From: thomasDOTde <thomas@drewermann.org>
Date: Wed, 1 Nov 2017 22:30:08 +0100
Subject: [PATCH] marked google oauth users as external

---
 app/views.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/views.py b/app/views.py
index 4c99711fe..a2c445668 100644
--- a/app/views.py
+++ b/app/views.py
@@ -273,6 +273,7 @@ def login():
 
         session['user_id'] = user.id
         login_user(user, remember = False)
+        session['external_auth'] = True
         return redirect(url_for('index'))
 
     if 'github_token' in session: