From df42025a21ee493eca1be60b116855c5784baa7e Mon Sep 17 00:00:00 2001 From: Alexey Andreev Date: Wed, 18 Oct 2023 18:41:14 +0200 Subject: [PATCH] IDEA: fix issue in dev server Fix #827 --- .../src/main/java/org/teavm/devserver/CodeServlet.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java b/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java index 0d6200bcc..fa6ac7729 100644 --- a/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java +++ b/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java @@ -1084,7 +1084,7 @@ public class CodeServlet extends HttpServlet { end = 1000; break; } - phaseLimit = count; + phaseLimit = Math.max(1, count); return progressReached(0); }