db10e50b067c05384992077b8c97d5301a88bd60
bernd webinterface => /webinterface

bernd authored 17 years ago

1) <?php
2) 
3) function system_failure($reason)
4) {
5)         include('inc/top.php');
6)         echo '<div class="error">
7)         <h3>Fehler</h3>
8)         <p>Es ist ein Fehler aufgetreten: '.$reason.'</p>
9)         </div>';
10)         include('inc/bottom.php');
11)         die();
12) }
13) 
14) 
15) function input_error($reason)
16) {
17)   global $input_error;
18)   if (!isset($input_error))
19)     $input_error = array();
20)   array_push($input_error, $reason);
21) }
22) 
23) function warning($msg)
24) {
25)   global $warning;
26)   if (!isset($warning))
27)     $warning = array();
28)   array_push($warning, $msg);
29) }
30) 
31) function success_msg($msg)
32) {
33)   global $success_msg;
34)   if (!isset($success_msg))
35)     $success_msg = array();
36)   array_push($success_msg, $msg);
37) }
38) 
39) 
40) function show_messages()
41) {
42)   global $input_error;
43)   global $success_msg;
44)   global $warning;
45)   if (isset($input_error))
46)   {
47)     echo '<div class="error">
48)     <h3>Fehler</h3>
49)     <p>Folgende Fehler wurden festgestellt: </p>
50)     <ul>
51)     ';
52)     foreach ($input_error as $error)
53)     {
54)       echo '<li>'.$error."</li>\n";
55)     }
56)     echo '</ul>
57)     </div>';
58)   }
59)   if (isset($warning))
60)   {
61)     echo '<div class="error">
62)     <ul>
63)     ';
64)     foreach ($warning as $msg)
65)     {
66)       echo '<li>'.$msg."</li>\n";
67)     }
68)     echo '</ul>
69)     </div>';
70)   }
71)   if (isset($success_msg))
72)   {
73)     echo '<div class="success">
74)     <ul>
75)     ';
76)     foreach ($success_msg as $msg)
77)     {
78)       echo '<li>'.$msg."</li>\n";
79)     }
80)     echo '</ul>
81)     </div>';
82)   }
83) }
84) 
85) 
86) function require_role($roles)
87) {
88)   if (! is_array($roles))
89)     $roles = array($roles);
90)   $allow = false;
91)   foreach ($roles as $role)
bernd Nachtrag zum vorigen

bernd authored 17 years ago

92)     if ($role & $_SESSION['role'])
bernd webinterface => /webinterface

bernd authored 17 years ago

93)       $allow = true;
94)   if (! $allow)
bernd Nachtrag zum vorigen

bernd authored 17 years ago

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