mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
369c02674c
wsrep_info INFORMATION_SCHEMA plugin to provide WSREP_STATUS and WSREP_MEMBERSHIP tables.
25 lines
413 B
PHP
25 lines
413 B
PHP
# galera_end.inc
|
|
# ==============
|
|
#
|
|
# Description
|
|
# -----------
|
|
# Closes the connections opened via include/galera_init.inc
|
|
#
|
|
# Parameters
|
|
# ----------
|
|
# $galera_cluster_size
|
|
# Number of nodes in the cluster.
|
|
#
|
|
|
|
--let $_galera_node= $galera_cluster_size
|
|
|
|
while ($_galera_node)
|
|
{
|
|
if ($galera_debug)
|
|
{
|
|
--echo Disconnecting node_$_galera_node
|
|
}
|
|
--disconnect node_$_galera_node
|
|
--dec $_galera_node
|
|
}
|
|
|