From b4aadb8893c33768dd0ec9be2f3495b5dcc1d143 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20St=C3=A4ding?= Date: Sun, 18 Dec 2022 16:50:00 +0100 Subject: [PATCH] Fix the generated rubric link being unclickable --- .../org/sourcegrade/jagr/gradle/task/grader/GraderRunTask.kt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/launcher/gradle-plugin/src/main/kotlin/org/sourcegrade/jagr/gradle/task/grader/GraderRunTask.kt b/launcher/gradle-plugin/src/main/kotlin/org/sourcegrade/jagr/gradle/task/grader/GraderRunTask.kt index 555a9ecb..e0d2ddd5 100644 --- a/launcher/gradle-plugin/src/main/kotlin/org/sourcegrade/jagr/gradle/task/grader/GraderRunTask.kt +++ b/launcher/gradle-plugin/src/main/kotlin/org/sourcegrade/jagr/gradle/task/grader/GraderRunTask.kt @@ -38,7 +38,6 @@ import org.sourcegrade.jagr.launcher.io.logGradedRubric import org.sourcegrade.jagr.launcher.io.logHistogram import org.sourcegrade.jagr.launcher.io.writeIn import java.io.File -import java.net.URI @Suppress("LeakingThis") abstract class GraderRunTask : DefaultTask(), GraderTask { @@ -168,8 +167,7 @@ abstract class GraderRunTask : DefaultTask(), GraderTask { collector.withGradingFinished { gradingFinished -> gradingFinished.logHistogram(jagr) } - fun String.toRubricLink() = - URI("file", "", rubricOutputDir.toURI().path + this, null, null).toString() + fun String.toRubricLink() = rubricOutputDir.toURI().resolve(this).toString() if (rubrics.isEmpty()) { jagr.logger.warn("No rubrics!") } else {