Disabled the "Server Type" drop-down menu under Server Config > Web.

ftimme

2011-09-20 d3dd34bb7fdaee52eef5184ad8b5d09e3d9ec5be

 interface/web/login/logout.php

@@ -76,5 +76,8 @@
      echo('URL_REDIRECT:index.php');
   }
}
exit;
?>
// Destroy the session completely now
$_SESSION = array();
session_destroy();
session_write_close();
?>