software/theia: Add ipv6 in connection_parameter

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = 4df9f0d76a134a8abec9060a0c1be50b
+md5sum = 6e8f39dc0c720bb7273bb8b8a4726634
 
 [instance]
 _update_hash_filename_ = instance.cfg.in
@@ -31,7 +31,7 @@ md5sum = b3f1dd83033d6a45def0bd26e70d5a9c
 
 [instance-resilient]
 _update_hash_filename_ = instance-resilient.cfg.jinja
-md5sum = b1e338973bc9cfe1bb4e16d46b3c6da9
+md5sum = ad9499e7355ded4975ad313442cecb7a
 
 [theia-common]
 _update_hash_filename_ = theia_common.py

software/theia/instance-output-schema.json

@@ -17,6 +17,10 @@
     "backend-url": {
       "description": "Theia Backend URL",
       "type": "string"
+    },
+    "ipv6": {
+      "description": "A Theia ipv6 address",
+      "type": "string"
     }
   },
   "type": "object"

software/theia/instance-resilient.cfg.jinja

@@ -33,7 +33,7 @@ parts +=
 
 # Ask for the connection parameters of the main theia
 [request-theia]
-return += url username password backend-url
+return += url username password backend-url ipv6
 
 
 # Publish connection parameters of the main theia and resiliency parameters
@@ -43,6 +43,7 @@ url = ${request-theia:connection-url}
 username = ${request-theia:connection-username}
 password = ${request-theia:connection-password}
 backend-url = ${request-theia:connection-backend-url}
+ipv6 = ${request-theia:connection-ipv6}
 monitor-base-url = ${monitor-publish:monitor-base-url}
 monitor-setup-url = ${monitor-publish:monitor-setup-url}
 <= publish-connection-information

software/theia/instance-theia.cfg.jinja.in

@@ -37,7 +37,7 @@ additional-url = $${remote-additional-frontend:connection-secure_access}
 username = $${frontend-instance-password:username}
 password = $${frontend-instance-password:passwd}
 backend-url = $${frontend-instance:url}
-
+ipv6 = {{ ipv6_random }}
 
 [directory]
 recipe = slapos.cookbook:mkdirectory