[debian-mysql] Bug#917818: Bug#917818: Automatically uninstall spider plugin on uninstall/upgrade

[Otto Kekäläinen]

Control: retitle -1 Ensure Spider plugin install/upgrade/remove works
automatically

Current status is:

- mariadb-plugin-spider.postinst installs it correctly, but is a bit verbose:

Setting up mariadb-plugin-spider (1:10.3.14-1) ...
@stmt := _sql
alter table mysql.spider_tables\n    add
monitoring_binlog_pos_at_failing tinyint not null default 0 after
ssl_verify_server_cert
@stmt := _sql
alter table mysql.spider_tables\n    add column block_status tinyint
not null default 0 after link_status
@stmt := _sql
alter table mysql.spider_tables\n    add column static_link_id
char(64) default null after block_status,\n    add unique index uidx1
(db_name, table_name, static_link_id)
@have_spider_i_s_plugin := 1
1
@have_spider_plugin := 1
1
@have_spider_i_s_alloc_mem_plugin := 1
1
@have_spider_alloc_mem_plugin := 1
1
@have_spider_direct_sql_udf := 1
1
@have_spider_bg_direct_sql_udf := 1
1
@have_spider_ping_table_udf := 1
1
@have_spider_copy_tables_udf := 1
1
@have_spider_flush_table_mon_cache_udf := 1
1


- mariadb-plugin-spider has no prerm/postrm script to automatically
remove it. This is because the source does not ship any uninstall.sql:

mariadb-10.3$ find ./storage/spider/scripts/
./storage/spider/scripts/
./storage/spider/scripts/install_spider.sql