Closed meisterT closed 6 months ago
This is an alternative to https://github.com/DOMjudge/domjudge/pull/2211
Fine by me, lets see which one @eldering wants.
I think this solution is better than #2211 : both in the place/way the information is displayed and also by taking the actual directory from the judgehost instead of depending on configure/build time variables.
This makes it much easier to find out where to go for debugging.
Fixes #2059.
Example:
Clicking the copy/paste icon copies the full path.