Switch to artemis-api.toit.io as server URL.

Author: floitsch

Makefile

@@ -62,7 +62,7 @@ test-supabase: install-pkgs rebuild-cmake download-sdk
 	(cd build && ninja check_supabase)
 
 # From https://app.supabase.com/project/voisfafsfolxhqpkudzd/settings/auth
-ARTEMIS_HOST := voisfafsfolxhqpkudzd.supabase.co
+ARTEMIS_HOST := supabase-api.toit.io
 ARTEMIS_ANON := eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJzdXBhYmFzZSIsInJlZiI6InZvaXNmYWZzZm9seGhxcGt1ZHpkIiwicm9sZSI6ImFub24iLCJpYXQiOjE2NzMzNzQyNDEsImV4cCI6MTk4ODk1MDI0MX0.dmfxNl5WssxnZ8jpvGJeryg4Fd47fOcrlZ8iGrHj2e4
 ARTEMIS_CERTIFICATE := Baltimore CyberTrust Root
 

src/cli/cmds/config.toit

@@ -92,7 +92,7 @@ create-server-config-commands -> List:
             Example "Add a local Supabase broker (anon-token is truncated):"
                 --arguments="my-local-supabase 127.0.0.1:54321 eyJhb...6XHc",
             Example "Add a Supabase broker with a certificate (anon-token is truncated):"
-                --arguments="my-remote-broker --certificate=\"Baltimore CyberTrust Root\" voisfafsfolxhqpkudzd.subabase.co eyJh...j2e4",
+                --arguments="my-remote-broker --certificate=\"Baltimore CyberTrust Root\" artemis-api.toit.io eyJh...j2e4",
           ]
           --run=:: add-supabase it
 

src/cli/server-config.toit

@@ -9,9 +9,11 @@ import encoding.base64
 
 export ServerConfig ServerConfigSupabase ServerConfigHttp
 
+ORIGINAL-SUPABASE-SERVER-URI ::= "voisfafsfolxhqpkudzd.supabase.co"
+
 DEFAULT-ARTEMIS-SERVER-CONFIG ::= ServerConfigSupabase
     "Artemis"
-    --host="voisfafsfolxhqpkudzd.supabase.co"
+    --host="artemis-api.toit.io"
     --anon="eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJzdXBhYmFzZSIsInJlZiI6InZvaXNmYWZzZm9seGhxcGt1ZHpkIiwicm9sZSI6ImFub24iLCJpYXQiOjE2NzMzNzQyNDEsImV4cCI6MTk4ODk1MDI0MX0.dmfxNl5WssxnZ8jpvGJeryg4Fd47fOcrlZ8iGrHj2e4"
     --root-certificate-name="Baltimore CyberTrust Root"
 
@@ -50,9 +52,22 @@ get-server-from-config --cli/Cli --name/string -> ServerConfig?:
 
   json-map := servers[name]
 
-  return ServerConfig.from-json name json-map
+  result := ServerConfig.from-json name json-map
       --der-deserializer=: base64.decode it
 
+  if result is ServerConfigSupabase:
+    // If the server config is for supabase, and it uses the original
+    // server URI, update it to use the new one.
+    supabase-config := result as ServerConfigSupabase
+    if supabase-config.host == ORIGINAL-SUPABASE-SERVER-URI:
+      json-map["host"] = DEFAULT-ARTEMIS-SERVER-CONFIG.host
+      cli.ui.emit --info
+          "Using updated Artemis server URI: $DEFAULT-ARTEMIS-SERVER-CONFIG.host"
+      return ServerConfig.from-json name json-map
+          --der-deserializer=: base64.decode it
+
+  return result
+
 get-servers-from-config --cli/Cli -> List:
   config := cli.config
   default-name := DEFAULT-ARTEMIS-SERVER-CONFIG.name