Fix logging

PySymGym · Oct 16, 2024 · f15d7a1 · f15d7a1
1 parent 0602050
commit f15d7a1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/usvm-ml-gameserver/build.gradle.kts b/usvm-ml-gameserver/build.gradle.kts
@@ -43,6 +43,7 @@ dependencies {
 
     implementation(Libs.kotlinx_cli)
     implementation(Libs.slf4j_simple)
+    implementation(Libs.logback)
 
     implementation("io.github.rchowell:dotlin:1.0.2")
     testImplementation(kotlin("test"))

diff --git a/usvm-ml-gameserver/src/main/resources/logback.xml b/usvm-ml-gameserver/src/main/resources/logback.xml
@@ -1,12 +1,12 @@
 <configuration>
-    <appender name="STDOUT" class="ch.qos.logback.core.ConsoleAppender">
+    <appender name="FILE" class="ch.qos.logback.core.FileAppender">
+    <file>${LOG_DIR}/usvm_game_server.log</file>
         <encoder>
             <pattern>%d{YYYY-MM-dd HH:mm:ss.SSS} [%thread] %-5level %logger{36} - %msg%n</pattern>
         </encoder>
     </appender>
-    <root level="trace">
-        <appender-ref ref="STDOUT"/>
+    <root level="INFO">
+        <appender-ref ref="FILE"/>
     </root>
-    <logger name="org.eclipse.jetty" level="DEBUG"/>
-    <logger name="io.netty" level="DEBUG"/>
+    <logger name="io.netty" level="INFO"/>
 </configuration>