From d571bab88f5f4049fcece9ef107a4549279458ba Mon Sep 17 00:00:00 2001
From: Thomas Bellembois <thomas.bellembois@uca.fr>
Date: Tue, 27 Sep 2022 17:48:33 +0200
Subject: [PATCH] Change docker runner link.

---
 menu/template.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/menu/template.go b/menu/template.go
index 0262933..234ec99 100644
--- a/menu/template.go
+++ b/menu/template.go
@@ -109,7 +109,7 @@ var menuTemplate = `<div id="codefirstMenu" style="display: inline-block; width:
 		</div>
 
 		<div title="docker runner" style="float: left; margin-right: 50px;">
-			<a class="codefirstMenu"  style="border-bottom: none;" target="_blank" href="https://CODEFIRST_HOSTNAME/dockerrunner/static/html/">
+			<a class="codefirstMenu"  style="border-bottom: none;" target="_blank" href="https://CODEFIRST_HOSTNAME/dockerrunner">
 				<span id="dockerrunner" class="codefirstMenu">
 					<img class="codefirstMenu" src="data:image/png;base64,{{.RunnerIcon}}"/>
 						&nbsp;