diff options
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -147,17 +147,17 @@ if($_SERVER['HTTP_HOST'] == 'dev-karte.ffgraz.net') { </div> </div> <div id="southeastcontainer"> - <div id="loginbox" class="box"> - <script type="text/javascript"> - <?php - if (!isset($_SESSION['logged_in']) || !$_SESSION['logged_in']) { - echo 'showFFLogin();'; - } else { - echo 'showFFLogout("'.$_SESSION['username'].'");'; - } - ?>11 - </script> - </div> + <!-- <div id="loginbox" class="box"> --> + <!-- <script type="text/javascript"> --> + <!-- <?php --> + <!-- if (!isset($_SESSION['logged_in']) || !$_SESSION['logged_in']) { --> + <!-- echo 'showFFLogin();'; --> + <!-- } else { --> + <!-- echo 'showFFLogout("'.$_SESSION['username'].'");'; --> + <!-- } --> + <!-- ?>11 --> + <!-- </script> --> + <!-- </div> --> <div id="addressbox" class="box"> <b>Adresse suchen (Strassenname Nr. <, Ort>):</b> <form action="#" onsubmit="showAddress(this.address.value); return false"> |