Support clock limit for Java backend

abstools · Dec 17, 2024 · 94d09d6 · 94d09d6
1 parent c3ba646
commit 94d09d6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/abs-mode.el b/abs-mode.el
@@ -706,6 +706,7 @@ Expects `abs-backend' to be bound to the desired backend."
                   (command (concat "java -cp gen:"
                                    (expand-file-name abs-java-classpath)
                                    " " module ".Main"
+                                   (when abs-clock-limit (format " -l %d " abs-clock-limit))
                                    (when abs-local-port (format " -p %d " abs-local-port))
                                    " &")))
              (when (get-buffer buffer-name)