software/theia: Select free ports

software/theia/buildout.hash.cfg

@@ -19,7 +19,7 @@ md5sum = df9548360119b698568694a037ec9c76
 
 [instance-theia.cfg.jinja2.in]
 filename = instance-theia.cfg.jinja2.in
-md5sum = 4feac5dbb3935ca878fe75a3620ec4ff
+md5sum = 59c2a5a061d8a2427d4e2d5d10780220
 
 [instance-theia-import.cfg.in]
 filename = instance-theia-import.cfg.in

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

@@ -145,6 +145,12 @@ recipe = slapos.cookbook:generate.password
 username = node
 bytes = 12
 
+[frontend-instance-port]
+recipe = slapos.cookbook:free_port
+minimum = 3000
+maximum = 3499
+ip = $${instance-parameter:ipv6-random}
+
 [frontend-instance-certificate]
 recipe = plone.recipe.command
 command =
@@ -194,9 +200,9 @@ template = inline:
       /
     }
   }
-ip = $${instance-parameter:ipv6-random}
+ip = $${frontend-instance-port:ip}
 hostname = [$${:ip}]
-port = 3001
+port = $${frontend-instance-port:port}
 
 [frontend-instance]
 recipe = slapos.cookbook:wrapper
@@ -280,6 +286,12 @@ filename = $${:_buildout_section_name_}
 # Theia Backend
 # -------------
 
+[theia-service-port]
+recipe = slapos.cookbook:free_port
+minimum = 3500
+maximum = 3999
+ip = $${instance-parameter:ipv4-random}
+
 [theia-service]
 recipe = slapos.recipe.template:jinja2
 rendered = $${directory:bin}/$${:_buildout_section_name_}
@@ -299,8 +311,8 @@ template =
   export TERMINFO=${ncurses:location}/lib/terminfo/
   export EDITOR="${python-language-server:location}/bin/python -m theia_open --wait"
   exec ${theia-wrapper:rendered} $@
-ip =  $${instance-parameter:ipv4-random}
-port = 3000
+ip =  $${theia-service-port:ip}
+port = $${theia-service-port:port}
 base-url = http://$${:ip}:$${:port}/
 
 [theia-instance]
@@ -354,10 +366,16 @@ command =
 # SlapOS Standalone
 # -----------------
 
+[slapos-standalone-port]
+recipe = slapos.cookbook:free_port
+minimum = 4000
+maximum = 4100
+ip = $${instance-parameter:ipv4-random}
+
 [slapos-standalone-config]
 ipv4 = $${instance-parameter:ipv4-random}
 ipv6 = $${instance-parameter:ipv6-random}
-port = 4000
+port = $${slapos-standalone-port:port}
 slapos-configuration = $${directory:runner}/etc/slapos.cfg
 computer-id = slaprunner