Start Java model API when abs-local-port is set

abstools · Jul 18, 2024 · 005fcf4 · 005fcf4
1 parent 252d9f2
commit 005fcf4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/abs-mode.el b/abs-mode.el
@@ -684,7 +684,9 @@ Expects `abs-backend' to be bound to the desired backend."
                   (buffer-name (concat "*abs java " module "*"))
                   (command (concat "java -cp gen:"
                                    (expand-file-name abs-java-classpath)
-                                   " " module ".Main &")))
+                                   " " module ".Main"
+                                   (when abs-local-port (format " -p %d " abs-local-port))
+                                   " &")))
              (when (get-buffer buffer-name)
                (kill-buffer (get-buffer buffer-name)))
              (let ((buffer (get-buffer-create buffer-name)))