From 1f674a0ffc426049237e65e39189e28d2c3d4fa7 Mon Sep 17 00:00:00 2001 From: Jos van der Velde Date: Wed, 21 Oct 2026 11:16:52 +0200 Subject: [PATCH 1/2] Update to newer php version --- docker/Dockerfile | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index a0a71f66..44da6a79 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,13 +1,14 @@ -FROM php:7.4.33-apache +FROM eclipse-temurin:11-jre AS builder + +FROM php:8.5.11-apache RUN docker-php-source extract \ && docker-php-ext-install mysqli \ && docker-php-source delete -# Java is necessary for the direct calls to the evaluation engine (in Api_splits.php) -RUN sed -i 's|deb.debian.org/debian-security|archive.debian.org/debian-security|g' /etc/apt/sources.list \ - && apt update \ - && apt install -y --no-install-recommends openjdk-11-jre +ENV JAVA_HOME=/opt/java/openjdk +ENV PATH="${JAVA_HOME}/bin:${PATH}" +COPY --from=builder $JAVA_HOME $JAVA_HOME ENV MAX_REQUEST_WORKERS=152 From e3555c3fe262d951d0a4e8f6102d1667c82cb0b1 Mon Sep 17 00:00:00 2001 From: PGijsbers Date: Wed, 21 Oct 2026 13:38:30 +0300 Subject: [PATCH 2/2] 'escape' the function keyword --- openml_OS/libraries/ElasticSearch.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/openml_OS/libraries/ElasticSearch.php b/openml_OS/libraries/ElasticSearch.php index 2f21ff9c..936c5619 100644 --- a/openml_OS/libraries/ElasticSearch.php +++ b/openml_OS/libraries/ElasticSearch.php @@ -1126,7 +1126,7 @@ function roundnum($i) { private function fetch_evaluations($min, $max, $include_folds=True) { $index = array(); if($include_folds){ - $folddata = $this->db->query('SELECT e.source, m.name AS function, e.fold, e.`repeat`, e.value FROM evaluation_fold e, math_function m WHERE e.function_id = m.id AND source >= ' . $min . ' and source < ' . $max); + $folddata = $this->db->query('SELECT e.source, m.name AS `function`, e.fold, e.`repeat`, e.value FROM evaluation_fold e, math_function m WHERE e.function_id = m.id AND source >= ' . $min . ' and source < ' . $max); $allfolds = array(); if ($folddata) {