summaryrefslogtreecommitdiffstats
path: root/inc/user.inc.php
diff options
context:
space:
mode:
Diffstat (limited to 'inc/user.inc.php')
-rw-r--r--inc/user.inc.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/inc/user.inc.php b/inc/user.inc.php
index 16ec77d..70a6cdb 100644
--- a/inc/user.inc.php
+++ b/inc/user.inc.php
@@ -200,7 +200,8 @@ class User
);
// Figure out whether the user should be considered a tutor
if (isset($_SERVER['affiliation']) && (strpos(";{$_SERVER['affiliation']}", ';employee@') !== false
- || strpos(";{$_SERVER['affiliation']}", ';staff@') !== false))
+ || strpos(";{$_SERVER['affiliation']}", ';staff@') !== false
+ || strpos(";{$_SERVER['affiliation']}", ';faculty@') !== false))
self::$user['role'] = 'TUTOR';
elseif (isset($_SERVER['entitlement']) && strpos(";{$_SERVER['entitlement']};", ';http://bwidm.de/entitlement/bwLehrpool;') !== false)
self::$user['role'] = 'TUTOR';