diff --git a/code-serverx/Dockerfile b/code-serverx/Dockerfile index cfa2f88..4ba1dc0 100644 --- a/code-serverx/Dockerfile +++ b/code-serverx/Dockerfile @@ -29,7 +29,7 @@ ENV JAVA_HOME /usr/lib/jvm/java-11-openjdk-amd64/ RUN export JAVA_HOME # install BaseX to /basex/ -RUN curl https://files.basex.org/releases/9.7.1/BaseX971.zip | jar xv && \ +RUN curl https://files.basex.org/releases/latest/BaseX972-20220508.135439.zip | jar xv && \ chown -R $PUID:$PGID /basex && chmod a+x /basex/bin/* ; ENV PATH=$PATH:/basex/bin diff --git a/code-serverx/custom/saxon-he-10.8.jar b/code-serverx/custom/saxon-he-10.8.jar new file mode 100644 index 0000000..aae93fa Binary files /dev/null and b/code-serverx/custom/saxon-he-10.8.jar differ diff --git a/code-serverx/custom/saxon-he-11.1.jar b/code-serverx/custom/saxon-he-11.1.jar deleted file mode 100644 index 84f5bdf..0000000 Binary files a/code-serverx/custom/saxon-he-11.1.jar and /dev/null differ