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

ftimme

2011-09-20 d3dd34bb7fdaee52eef5184ad8b5d09e3d9ec5be

 install/sql/incremental/upd_0002.sql

@@ -1,4 +1,4 @@
CREATE TABLE `sys_session` (
CREATE TABLE IF NOT EXISTS `sys_session` (
  `session_id` varchar(32) NOT NULL default '',
  `date_created` datetime NOT NULL default '0000-00-00 00:00:00',
  `last_updated` datetime NOT NULL default '0000-00-00 00:00:00',