From a62ebb30c2833c848d1fefee6e8c075fb06902fb Mon Sep 17 00:00:00 2001 From: JFronny Date: Mon, 13 May 2024 15:59:24 +0200 Subject: [PATCH] fix: (hopefully) use the correct default URL --- src/main/kotlin/io/gitlab/jfronny/sdom/SDCredentials.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/io/gitlab/jfronny/sdom/SDCredentials.kt b/src/main/kotlin/io/gitlab/jfronny/sdom/SDCredentials.kt index 15d265c..450c36b 100644 --- a/src/main/kotlin/io/gitlab/jfronny/sdom/SDCredentials.kt +++ b/src/main/kotlin/io/gitlab/jfronny/sdom/SDCredentials.kt @@ -24,7 +24,7 @@ object SDCredentials { } var url: String - get() = ApplicationManager.getApplication().getService(SDSettings::class.java).state.url ?: "https://domjudge.iti.kit.edu/main" + get() = ApplicationManager.getApplication().getService(SDSettings::class.java).state.url ?: "https://domjudge.iti.kit.edu/main/api/v4" set(value) { ApplicationManager.getApplication().getService(SDSettings::class.java).state.url = value }