minor fixes server/scripts/update_from_dev.sh

Florian Schaal

2015-11-09 ae90481f48be5ad22d9eba520d0d219b965b99ca

1
ALTER TABLE `web_domain` ADD `python` ENUM( 'n', 'y' ) NOT NULL DEFAULT 'n' AFTER `ruby`;