149150151152153154155156157158159
if (done || socket == null || !socket.isConnected()) { AbstractDebugTarget target = remote; if (target != null) { target.terminate(); } done = true; } } }