150 |
} |
} |
151 |
|
|
152 |
public void shutdownWorker(int workerid) { |
public void shutdownWorker(int workerid) { |
153 |
logger.info("Shutting down worker: " + workerid); |
//logger.info("Shutting down worker: " + workerid); |
154 |
LookupWorker key = workers.remove(workerid); |
LookupWorker key = workers.remove(workerid); |
155 |
|
|
156 |
if (key == null) { |
if (key == null) { |
157 |
System.out.println("Error removing worker from set"); |
System.out.println("Error removing worker from set " + workerid); |
158 |
System.exit(0); |
System.exit(0); |
159 |
} |
} |
160 |
} |
} |