software/theia: Add env IPV6

a6563ad6 · Thomas Leymonerie · 0188e5c1 · a6563ad6 · a6563ad6
Commit a6563ad6 authored Feb 22, 2022 by Thomas Leymonerie
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

software/theia/buildout.hash.cfg software/theia/buildout.hash.cfg +1 -1

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

No files found.
--- a/software/theia/buildout.hash.cfg
+++ b/software/theia/buildout.hash.cfg
@@ -15,7 +15,7 @@

 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = 6e8f39dc0c720bb7273bb8b8a4726634
+md5sum = 00d15432c1486376d8ba7d0f5ec63c33

 [instance]
 _update_hash_filename_ = instance.cfg.in

--- a/software/theia/instance-theia.cfg.jinja.in
+++ b/software/theia/instance-theia.cfg.jinja.in
@@ -353,7 +353,7 @@ template =
  #!/bin/sh
  export HOME=$${directory:home}
  export PATH=${python-language-server:location}/bin:${java-jdk:location}/bin:${cli-utilities:PATH}:$HOME/.cargo/bin:$PATH
-
+  export IPV6_SLAPRUNNER={{ ipv6_random }}

 # Theia Backend
 # -------------