webinterface.git

1) <?php
2) /*
3) 
4)   Session-Start-Script wird vom dispatcher eingebunden
5) 
6) */
7) 
8) require_once('session/checkuser.php');
9) require_once('inc/error.php');
10) require_once('inc/debug.php');
11) 

12) require_once('inc/base.php');
13) 

14) session_name(config('session_name'));

15) 

16) if ($_SERVER['HTTPS']) session_set_cookie_params( 0, '/', '', true, true );
17) 

18) if (!session_start())

19) {

20)         logger(LOG_ERR, "session/start", "session", "Die session konnte nicht gestartet werden!");

21)         system_failure('Die Sitzung konnte nicht gestartet werden, bitte benachrichtigen Sie den Administrator!');

22) }

23) 

24) DEBUG("<pre>POST-DATA: ".htmlspecialchars(print_r($_POST, true))."\nSESSION_DATA: ".htmlspecialchars(print_r($_SESSION, true))."</pre>");

25) 

26) if (have_module('googleauth') && isset($_POST['webinterface_googlecode']) && isset($_SESSION['googleauth']) && isset($_SESSION['googleauth_username'])) {
27)   require_once('modules/googleauth/include/googleauth.php');
28)   $role = NULL;
29)   if (check_googleauth($_SESSION['googleauth_username'], $_POST['webinterface_googlecode'])) {
30)     $role = find_role($_SESSION['googleauth_username'], '', true);
31)   }
32)   if ($role === NULL)
33)   {
34)     $_SESSION['role'] = ROLE_ANONYMOUS;
35)     logger(LOG_WARNING, "session/start", "login", "wrong googleauth code (username: »{$_SESSION['googleauth_username']}«)");
36)     warning('Ihre Anmeldung konnte nicht durchgeführt werden. Geben Sie bitte einen neuen Code ein.');
37)     show_page('googleauth-login');
38)     die();
39)   }
40)   else
41)   {
42)     setup_session($role, $_SESSION['googleauth_username']);
43)   }
44)   unset($_POST['webinterface_googlecode']);
45)   unset($_SESSION['googleauth']);
46)   unset($_SESSION['googleauth_username']);
47) }
48) 

49) if (isset($_POST['webinterface_username']) && isset($_POST['webinterface_password']))

50) {

51)   $role = find_role($_POST['webinterface_username'], $_POST['webinterface_password']);

52)   if ($role === NULL)
53)   {
54)     $_SESSION['role'] = ROLE_ANONYMOUS;

55)     logger(LOG_WARNING, "session/start", "login", "wrong user data (username: »{$_POST['webinterface_username']}«)");

56)     login_screen('Ihre Anmeldung konnte nicht durchgeführt werden. Vermutlich haben Sie falsche Zugangsdaten eingegeben.');
57)   }
58)   else
59)   {

60)     setup_session($role, $_POST['webinterface_username']);

61)   }

62)   unset($_POST['webinterface_username']);
63)   unset($_POST['webinterface_password']);

64) }
65) 
66) elseif (isset($_SESSION['role']))
67) {
68)   /* User ist eingeloggt (aber vielleicht als ROLE_ANONYMOUS!) */
69) }
70) 
71) else
72) {
73)   $_SESSION['role'] = ROLE_ANONYMOUS;
74) }
75) // Wenn wir hier sind, ist der Benutzer eingeloggt. Möglicherweise nur als ANONYMOUS
76) 

77) 
78) DEBUG("Role: ".$_SESSION['role']);
79)