theia: Use free port in theia monitor configuration

software/theia/buildout.hash.cfg

@@ -19,7 +19,7 @@ md5sum = a9d4ace568acdd5002d587816ab91737
 
 [instance]
 _update_hash_filename_ = instance.cfg.in
-md5sum = 08b8aa2b7f59ac0e4e5d4ca180054937
+md5sum = 95fcd2e0d45e4fc74d433eaf152a51ec
 
 [instance-import]
 _update_hash_filename_ = instance-import.cfg.jinja.in

software/theia/instance.cfg.in

@@ -27,6 +27,12 @@ resilient = resilient:output
 frozen = instance-frozen:output
 pull-backup = template-pull-backup:output
 
+[theia-monitor-port]
+recipe = slapos.cookbook:free_port
+minimum = 8386
+maximum = 8486
+ip = $${slap-configuration:ipv6-random}
+
 [theia]
 recipe = slapos.recipe.template:jinja2
 url = ${instance-theia:output}
@@ -54,7 +60,7 @@ default-parameters =
     "additional-frontend-sr": "$${:frontend-sr}",
     "additional-frontend-sr-type": "RootSoftwareInstance",
     "additional-frontend-guid": null,
-    "monitor-httpd-port": 8386
+    "monitor-httpd-port": $${theia-monitor-port:port}
   }
 frontend-sr = http://git.erp5.org/gitweb/slapos.git/blob_plain/HEAD:/software/apache-frontend/software.cfg