MINI MINI MANI MO

#
# Delete the user
# Check that upgrade recreates it
#
DELETE FROM mysql.user WHERE user='mysql.session';
Run mysql_upgrade
mysql.columns_priv                                 OK
mysql.db                                           OK
mysql.engine_cost                                  OK
mysql.event                                        OK
mysql.func                                         OK
mysql.general_log                                  OK
mysql.gtid_executed                                OK
mysql.help_category                                OK
mysql.help_keyword                                 OK
mysql.help_relation                                OK
mysql.help_topic                                   OK
mysql.innodb_index_stats                           OK
mysql.innodb_table_stats                           OK
mysql.ndb_binlog_index                             OK
mysql.plugin                                       OK
mysql.proc                                         OK
mysql.procs_priv                                   OK
mysql.proxies_priv                                 OK
mysql.server_cost                                  OK
mysql.servers                                      OK
mysql.slave_master_info                            OK
mysql.slave_relay_log_info                         OK
mysql.slave_worker_info                            OK
mysql.slow_log                                     OK
mysql.tables_priv                                  OK
mysql.time_zone                                    OK
mysql.time_zone_leap_second                        OK
mysql.time_zone_name                               OK
mysql.time_zone_transition                         OK
mysql.time_zone_transition_type                    OK
mysql.user                                         OK
mtr.global_suppressions                            OK
mtr.test_suppressions                              OK
sys.sys_config                                     OK
include/assert.inc [The session user should exist after upgrade]
#
# Change some user privileges, making it invalid
#
UPDATE mysql.user SET Super_priv ='N' WHERE USER= 'mysql.session';
Run mysql_upgrade
Error occurred: The mysql.session exists but is not correctly configured. The mysql.session needs SELECT privileges in the performance_schema database and the mysql.db table and also SUPER privileges.
UPDATE mysql.user SET Super_priv ='Y' WHERE USER= 'mysql.session';
UPDATE mysql.tables_priv SET Table_priv ='' WHERE USER= 'mysql.session';
Run mysql_upgrade
Error occurred: The mysql.session exists but is not correctly configured. The mysql.session needs SELECT privileges in the performance_schema database and the mysql.db table and also SUPER privileges.
#
# Clean up
#
UPDATE mysql.tables_priv SET Table_priv ='Select' WHERE USER= 'mysql.session';

End of tests