~ chicken-core (master) 271301a0730e295a96e587a5bc332186f73b4b15

commit 271301a0730e295a96e587a5bc332186f73b4b15
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Sun Jun 28 11:00:55 2026 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sun Jun 28 12:22:03 2026 +0200

    setup.defaults: Naming convention for egg-servers
    
    Implement a naming convention for egg servers, which must be under the
    call-cc.org domain, so that the CHICKEN team can rotate them when
    necessary via DNS settings (e.g., failover or cases of planned
    maintenance).
    
    Official servers must adhere to the following naming convention:
    
      http://egg-server-<n>.call-cc.org/cgi-bin/henrietta.cgi
    
    where <n> is a positive integer.
    
    Signed-off-by: felix <felix@call-with-current-continuation.org>

diff --git a/setup.defaults b/setup.defaults
index 07bc615c..753a1747 100644
--- a/setup.defaults
+++ b/setup.defaults
@@ -20,9 +20,7 @@
 ;
 ; URL may be an alias (see below) or a real URL.
 
-; TEMPORARY DISABLED
-;(server "kitten-technologies")
-(server "call-cc")
+(server "egg-server-1")
 
 
 ;; extension-mappings
@@ -38,8 +36,7 @@
 ; (alias (NAME REALNAME) ...)
 
 (alias
- ("call-cc" "http://code.call-cc.org/cgi-bin/henrietta.cgi")
- ("kitten-technologies" "http://chicken.kitten-technologies.co.uk/henrietta.cgi"))
+ ("egg-server-1" "http://egg-server-1.call-cc.org/cgi-bin/henrietta.cgi"))
 
 
 ;; overrides