[MySQL] Изменение innodb_log_file_size

После изменения следующих опций:

innodb_buffer_pool_size
innodb_additional_mem_pool_size
innodb_log_file_size
innodb_log_buffer_size

mysqld может не стартануть, поэтому надо сделать:

service mysql stop
rm -f /var/lib/mysql/ib_logfile*
service mysql start