Merge remote-tracking branch 'origin/GP-3754_d-millar_traceRmi_dbgeng--SQUASHED'

This commit is contained in:
Ryan Kurtz
2023-09-12 12:18:28 -04:00
20 changed files with 6266 additions and 2 deletions

View File

@@ -249,7 +249,7 @@ public class TraceRmiHandler {
}
public boolean isClosed() {
return socket.isClosed();
return socket.isClosed() && closed.isDone();
}
public void waitClosed() throws InterruptedException, ExecutionException {