mirror of
https://github.com/MariaDB/server.git
synced 2025-10-30 18:36:12 +01:00
10 lines
502 B
Text
10 lines
502 B
Text
--source include/not_windows_embedded.inc
|
|
|
|
if (`select length('$HANDLERSOCKET_SO') = 0`) {
|
|
skip handlersocket plugin is not built;
|
|
}
|
|
|
|
install plugin handlersocket soname 'handlersocket.so';
|
|
--query_vertical select plugin_name, plugin_version, plugin_status, plugin_type, plugin_library, plugin_library_version, plugin_author, plugin_description, plugin_license, plugin_maturity, plugin_auth_version from information_schema.plugins where plugin_name = 'handlersocket'
|
|
uninstall plugin handlersocket;
|
|
|