bibweb.git

1) <?php
2) session_start();

3) if (isset($_SESSION['mode']) && $_SESSION['mode'] == 'local') {
4)     header("Location: gitterbox.php");
5)     die();
6) }

7) // hardcoded, Vorabanmeldung ist momentan nicht vorgesehen
8) header("Location: gitterbox.php");
9) die();
10) 
11)