From ee082980c6c36c2b2dc2d761d58524a4f4eff648 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Wed, 26 Feb 2025 20:45:52 +0100
Subject: [PATCH] Installation fails without a Session

---
 webapp/src/Service/DOMJudgeService.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/webapp/src/Service/DOMJudgeService.php b/webapp/src/Service/DOMJudgeService.php
index a543fbad93..bfad289f41 100644
--- a/webapp/src/Service/DOMJudgeService.php
+++ b/webapp/src/Service/DOMJudgeService.php
@@ -49,6 +49,7 @@
 use Symfony\Component\HttpFoundation\Request;
 use Symfony\Component\HttpFoundation\RequestStack;
 use Symfony\Component\HttpFoundation\Response;
+use Symfony\Component\HttpFoundation\Session\Session;
 use Symfony\Component\HttpFoundation\StreamedResponse;
 use Symfony\Component\HttpKernel\Exception\BadRequestHttpException;
 use Symfony\Component\HttpKernel\Exception\HttpException;
@@ -627,6 +628,8 @@ public function internalApiRequest(string $url, string $method = Request::METHOD
         $request  = Request::create('/api' . $url, $method, $queryOrPostData, [], $files);
         if ($this->requestStack->getCurrentRequest() && $this->requestStack->getCurrentRequest()->hasSession()) {
             $request->setSession($this->requestStack->getSession());
+        } else {
+            $request->setSession(new Session());
         }
         $response = $this->httpKernel->handle($request, HttpKernelInterface::SUB_REQUEST);