From 0713e5198f0e337c361627a89b7f0b315edb2cb0 Mon Sep 17 00:00:00 2001 From: Pierre-Olivier Mercier Date: Thu, 3 Mar 2022 12:45:46 +0100 Subject: [PATCH 1/2] Fit the dashboard to the promo --- token-validator/htdocs/dashboard.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/token-validator/htdocs/dashboard.html b/token-validator/htdocs/dashboard.html index 5999dd3..bd91a70 100644 --- a/token-validator/htdocs/dashboard.html +++ b/token-validator/htdocs/dashboard.html @@ -24,10 +24,10 @@ height: calc(100vh / 5 - 0.3vh); margin-left: 0.2%; margin-bottom: 0.2vh; - width: calc(100vw / 13 - 0.26vw); + width: calc(100vw / 12 - 0.26vw); } .student-title { - width: calc(2 * (100vw / 13 - 0.22vw) + 0.2vw); + width: calc(2 * (100vw / 12 - 0.22vw) + 0.2vw); font-size: 15px; } .student h5 { From 1f3d937bb734c2d74b1c4e4ae03dadc9e2dad431 Mon Sep 17 00:00:00 2001 From: Pierre-Olivier Mercier Date: Thu, 3 Mar 2022 12:49:13 +0100 Subject: [PATCH 2/2] server: Make the server "sync" even if not sync with others --- server.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/server.yml b/server.yml index 6830337..41ae539 100644 --- a/server.yml +++ b/server.yml @@ -830,6 +830,9 @@ files: # if the adjustment is larger than 1 second. makestep 10 3 + # Allow synchronization of clients even if the server is not sync itself + local stratum 8 + allow all mode: "0440"