Send original time to Discord thread

ori-community · Dec 16, 2024 · 6b2fb20 · 6b2fb20
1 parent c06c983
commit 6b2fb20
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/src/main/kotlin/wotw/server/database/model/LeagueGameSubmission.kt b/src/main/kotlin/wotw/server/database/model/LeagueGameSubmission.kt
@@ -44,8 +44,11 @@ class LeagueGameSubmission(id: EntityID<Long>) : LongEntity(id) {
     var validated by LeagueGameSubmissions.validated
     var autoValidationErrors by LeagueGameSubmissions.autoValidationErrors
 
-    val formattedTime: String get() {
-        return this.time?.let { time ->
+    val formattedTime: String get() = formatTime(time)
+    val formattedOriginalTime: String get() = formatTime(originalTime)
+
+    private fun formatTime(seconds: Float?): String {
+        return seconds?.let { time ->
             (time * 1000f).toLong().milliseconds.toComponents { hours, minutes, seconds, nanoseconds ->
                 var result = ""
 

diff --git a/src/main/kotlin/wotw/server/game/handlers/league/LeagueManager.kt b/src/main/kotlin/wotw/server/game/handlers/league/LeagueManager.kt
@@ -537,7 +537,13 @@ class LeagueManager(val server: WotwBackendServer) {
                     }
 
                     if (!submission.validated) {
-                        this.content += " (auto-validation failed)"
+                        this.content += " (auto-validation failed"
+
+                        if (submission.originalTime != null) {
+                            this.content += ", original time: ${submission.formattedOriginalTime}"
+                        }
+
+                        this.content += ")"
                     }
 
                     this.suppressEmbeds = true