107108109110111112113114115116
} catch (final InterruptedException e) { // keep trying } } if (i <= 0) { throw new ErtsException("Process " + data.getNodeName() + " didn't exit in time... giving up"); } } }