From 908047fb1f2e6026e34227229486e766637339b2 Mon Sep 17 00:00:00 2001
From: Alexey Andreev <konsoletyper@gmail.com>
Date: Fri, 12 Apr 2024 20:27:39 +0200
Subject: [PATCH] idea: fix dev server

See discussion at #903
---
 .../src/main/java/org/teavm/idea/devserver/DevServerRunner.java  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/idea/src/main/java/org/teavm/idea/devserver/DevServerRunner.java b/tools/idea/src/main/java/org/teavm/idea/devserver/DevServerRunner.java
index 887dcc563..bb22f9b6f 100644
--- a/tools/idea/src/main/java/org/teavm/idea/devserver/DevServerRunner.java
+++ b/tools/idea/src/main/java/org/teavm/idea/devserver/DevServerRunner.java
@@ -149,6 +149,7 @@ public class DevServerRunner extends UnicastRemoteObject implements DevServerMan
             }
         }
         server.setClassPath(classPath.toArray(new String[0]));
+        server.setCompileOnStartup(true);
 
         DevServerRunner daemon = new DevServerRunner(server);
         System.out.println(PORT_MESSAGE_PREFIX + daemon.port);