From f57a98fe84a8ac4f4d50dca5f23b8739c3ec2321 Mon Sep 17 00:00:00 2001
From: TudbuT <tudbut@tudbut.de>
Date: Sun, 6 Mar 2022 16:41:19 +0100
Subject: [PATCH] add custom port setting for debug

---
 bootstrap/ISBPL.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap/ISBPL.java b/bootstrap/ISBPL.java
index 365962a..a8acd0a 100644
--- a/bootstrap/ISBPL.java
+++ b/bootstrap/ISBPL.java
@@ -1211,7 +1211,7 @@ class ISBPLDebugger extends Thread {
     @Override
     public void run() {
         try {
-            ServerSocket socket = new ServerSocket(9736);
+            ServerSocket socket = new ServerSocket(Integer.parseInt(System.getenv("DEBUG")));
             while (true) {
                 Socket s = socket.accept();
                 BufferedReader reader = new BufferedReader(new InputStreamReader(s.getInputStream()));