-- https://dev.mysql.com/doc/refman/8.0/en/alter-server.html

/* ALTER SERVER server_name
    OPTIONS (option [, option] ...) */


ALTER SERVER server_name OPTIONS (USER 'sally');
