Notice: Undefined property: User::$user_type in D:\home\site\phpinc\user.inc on line 150

Fatal error: Uncaught exception 'Exception' with message 'no such user type: ' in D:\home\site\phpinc\user.inc:357 Stack trace: #0 D:\home\site\wwwroot\infosession\list.php(3): User::getUserTypeToken(NULL) #1 {main} thrown in D:\home\site\phpinc\user.inc on line 357