Keep connection after detach, allowing lldb to re-connect later

Author: MaartenS11

src/main/java/be/ugent/topl/mio/GdbStub.java

@@ -95,21 +95,30 @@ public WOODDumpResponse getCurrentState() {
     }
 
     public void start(int port) throws IOException {
+        start(port, false);
+    }
+
+    public void start(int port, boolean closeOnDetach) throws IOException {
         debugger.pause();
 
         byte[] wasmData = Files.readAllBytes(Path.of(binaryLocation));
 
         ServerSocket server = new ServerSocket(port);
-        logger.info("Waiting for LLDB connection on port {}...", port);
-        Socket sock = server.accept();
-        logger.info("LLDB connected! {}", sock.getInetAddress());
-
-        InputStream in = sock.getInputStream();
-        out = sock.getOutputStream();
+        Socket sock;
+        InputStream in = null;
+        boolean attached = false;
 
-        boolean attached = true;
+        do {
+            if (!attached) {
+                logger.info("Waiting for LLDB connection on port {}...", port);
+                sock = server.accept();
+                logger.info("LLDB connected! {}", sock.getInetAddress());
+
+                in = sock.getInputStream();
+                out = sock.getOutputStream();
+                attached = true;
+            }
 
-        while (attached) {
             String pkt = recvPacket(in, out);
             if (pkt == null) {
                 logger.info("Connection closed");
@@ -337,15 +346,15 @@ else if (pkt.startsWith("stackInfo")) {
                 case "D":
                     attached = false;
                     logger.info("Detach from target");
-                    debugger.close();
                     sendPacket(out, "OK");
                     break;
                 default:
                     logger.warn("Unknown packet: {}", pkt);
                     sendPacket(out, "");
                     break;
             }
-        }
+        } while(!closeOnDetach || attached);
+        debugger.close();
     }
 
     private void stepBack(int n) throws IOException {