Greg 112eb903ec Add a script to switch the primary PostgreSQL server ... Usage: scripts/postgresql/switch_primary.sh <old_primary_hostname> <new_primary_hostname>		2021-01-23 19:13:54 +01:00
..
switch_primary.sh	Add a script to switch the primary PostgreSQL server	2021-01-23 19:13:54 +01:00