~ chicken-core (master) 0cd20e437c6deeb0936a3402912761b25b311d22

commit 0cd20e437c6deeb0936a3402912761b25b311d22
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Wed Jul 8 19:58:26 2026 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Wed Jul 8 20:42:25 2026 +0200

    setup.defaults: Add egg-server-2 and egg-server-3
    
    This is a follow-up to 271301a0, now adding more servers to actually
    allow us to rotate them without users having to adapt their
    setup.defaults files.

diff --git a/setup.defaults b/setup.defaults
index 753a1747..11ef277b 100644
--- a/setup.defaults
+++ b/setup.defaults
@@ -21,6 +21,8 @@
 ; URL may be an alias (see below) or a real URL.
 
 (server "egg-server-1")
+(server "egg-server-2")
+(server "egg-server-3")
 
 
 ;; extension-mappings
@@ -36,7 +38,9 @@
 ; (alias (NAME REALNAME) ...)
 
 (alias
- ("egg-server-1" "http://egg-server-1.call-cc.org/cgi-bin/henrietta.cgi"))
+ ("egg-server-1" "http://egg-server-1.call-cc.org/cgi-bin/henrietta.cgi")
+ ("egg-server-2" "http://egg-server-2.call-cc.org/cgi-bin/henrietta.cgi")
+ ("egg-server-3" "http://egg-server-3.call-cc.org/cgi-bin/henrietta.cgi"))
 
 
 ;; overrides