Digimer 3b1afa0d92 Merge branch 'master' into anvil-tools-dev		2021-06-03 22:32:40 -04:00
..
anvil.sql	* Updated Database->resync_databases() to set a default schema of 'public'. Also fixed a bug where, when the difference in record numbers between two line was > 999, it would not trigger a resync.	2021-05-13 23:27:38 -04:00
firewall.txt	* Created Cluster->delete_server(), which deletes a server resource from pacemaker (stopping it first, if needed).	2021-01-25 01:00:55 -05:00
Makefile.am	* Started work on, but not at all finished, anvil-manage-server which will allow manipulation of a server's resources.	2021-05-20 00:16:09 -04:00
words.xml	Merge branch 'master' into anvil-tools-dev	2021-06-03 22:32:40 -04:00