Spec-Zone .ru
спецификации, руководства, описания, API
|
ALTER SERVERserver_name
OPTIONS (option
[,option
] ...)
Изменяет информацию о сервере для
, корректировка любой из опций, разрешенных в server_name
CREATE SERVER
оператор. Соответствующие поля в mysql.servers
таблица обновляется соответственно. Этот оператор требует SUPER
полномочие.
Например, чтобы обновить USER
опция:
ALTER SERVER s OPTIONS (USER 'sally');
ALTER SERVER
не вызывает автоматическую фиксацию.
В MySQL 5.7, ALTER SERVER
не пишется двоичному журналу, независимо от формата
журналирования, который используется.
В MySQL 5.7.1, gtid_next
должен быть установлен в AUTOMATIC
прежде,
чем сделать это заявление. Это ограничение не применяется в MySQL 5.7.2 или позже. (Ошибка #16062608, Ошибка
#16715809, Ошибка #69045)