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

ftimme

2011-09-20 d3dd34bb7fdaee52eef5184ad8b5d09e3d9ec5be

 interface/web/admin/list/server_config.list.php

@@ -25,7 +25,7 @@
$liste["search_prefix"]    = "search_";

// Records per page
$liste["records_per_page"]    = 15;
$liste["records_per_page"]    = "15";

// Script File of the list
$liste["file"]            = "server_config_list.php";