ALTER TABLE config ADD `cas_host` varchar(255) DEFAULT '' NOT NULL; ALTER TABLE config ADD `cas_port` integer DEFAULT 443 NOT NULL; ALTER TABLE config ADD `cas_context` varchar(255) DEFAULT '' NOT NULL; ALTER TABLE config ADD `cas_cert_path` varchar(255) DEFAULT '' NOT NULL;