webinterface.git

1) <?php
2) 

3) require_once("inc/security.php");
4) 

5) function system_failure($reason)
6) {

7) 	input_error($reason);
8) 	show_page();

9)         die();
10) }
11) 
12) 
13) function input_error($reason)
14) {
15)   global $input_error;
16)   if (!isset($input_error))
17)     $input_error = array();
18)   array_push($input_error, $reason);
19) }
20) 
21) function warning($msg)
22) {

23)   if (!isset($_SESSION['warning']))
24)     $_SESSION['warning'] = array();
25)   array_push($_SESSION['warning'], $msg);

26) }
27) 
28) function success_msg($msg)
29) {

30)   if (!isset($_SESSION['success_msg']))
31)     $_SESSION['success_msg'] = array();
32)   array_push($_SESSION['success_msg'], $msg);

33) }
34) 
35) 

36) function we_have_an_error()
37) {
38)   global $input_error;
39) 

40)   return ((count($input_error) + count($_SESSION['warning'])) > 0);

41) 
42) }
43) 
44) 

45) function get_messages()

46) {

47)   $messages = '';

48)   global $input_error;
49)   if (isset($input_error))
50)   {

51)     $messages .= '<div class="error">

52)     <h3>Fehler</h3>
53)     <p>Folgende Fehler wurden festgestellt: </p>
54)     <ul>
55)     ';
56)     foreach ($input_error as $error)
57)     {

58)       $messages .= '<li>'.nl2br(filter_input_general($error))."</li>\n";

59)     }

60)     $messages .= '</ul>

61)     </div>';
62)   }

63)   if (isset($_SESSION['warning']))

64)   {

65)     $messages .= '<div class="error">

66)     <ul>
67)     ';

68)     foreach ($_SESSION['warning'] as $msg)

69)     {

70)       $messages .= '<li>'.nl2br(filter_input_general($msg))."</li>\n";

71)     }

72)     $messages .= '</ul>

73)     </div>';

74)     unset($_SESSION['warning']);

75)   }

76)   if (isset($_SESSION['success_msg']))

77)   {

78)     $messages .= '<div class="success">

79)     <ul>
80)     ';

81)     foreach ($_SESSION['success_msg'] as $msg)

82)     {

83)       $messages .= '<li>'.nl2br(filter_input_general($msg))."</li>\n";

84)     }

85)     $messages .= '</ul>

86)     </div>';

87)     unset($_SESSION['success_msg']);

88)   }

89)   return $messages;

90) }
91) 

92) function show_messages() 
93) {
94)   echo get_messages();
95) }

96) 
97) function require_role($roles)
98) {
99)   if (! is_array($roles))
100)     $roles = array($roles);
101)   $allow = false;
102)   foreach ($roles as $role)

103)     if ($role & $_SESSION['role'])

104)       $allow = true;
105)   if (! $allow)

106)     if ($_SESSION['role'] == ROLE_ANONYMOUS)
107)       login_screen("Diese Seite können Sie erst benutzen, wenn Sie sich mit Ihren Zugangsdaten anmelden.");
108)     else
109)       login_screen("Diese Seite können Sie mit Ihren aktuellen Zugriffsrechten nicht benutzen, bitte melden Sie sich mit den benötigten Zugriffsrechten an!");

110) }
111) 
112) 
113) function login_screen($why)
114) {

115)   require_once('inc/theme.php');
116)   if ($why) {
117)     warning($why);
118)   }
119)   show_page('login');
120)   die();