Set a default directory server from a hard-wired list if one was not previously chosen.

1 files changed, 8 insertions, 0 deletions

diff --git a/boot.php b/boot.php
index 01d11bee7..602012c85 100755
--- a/boot.php
+++ b/boot.php
@@ -67,6 +67,14 @@ define ( 'DIRECTORY_MODE_STANDALONE',  0x0100);
 define ( 'DIRECTORY_REALM',            'RED_GLOBAL');
 define ( 'DIRECTORY_FALLBACK_MASTER',  'https://zothub.com');
 
+$DIRECTORY_FALLBACK_SERVERS = array( 
+	'https://zothub.com', 
+	'https://zotid.net', 
+	'https://redmatrix.nl', 
+	'https://whogotzot.com', 
+	'https://red.mariovavti.com'
+);
+
 
 /**
  *