web-serving: fix startup of web-server as rootless#442

Open

dev-zero wants to merge 2 commits intoparsa-epfl:mainfrom opencube-horizon:bugfixes

+15-10

Commits on Nov 27, 2023

web-serving: fix startup of web-server as rootless
dev-zero
committed

Commits on Nov 29, 2023

data-serving-relational: use gosu instead of sudo for non-interactive operation
dev-zero
committed