diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/user.inc.php | 3 |
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'; |