Parent Directory | Revision Log | Patch
revision 2202 by torben, Thu Sep 11 10:35:55 2014 UTC | revision 2205 by torben, Thu Sep 11 15:09:03 2014 UTC | |
---|---|---|
# | Line 128 public class Lookup { | Line 128 public class Lookup { |
128 | ||
129 | public void shutdownWorker(int workerid) { | public void shutdownWorker(int workerid) { |
130 | logger.info("Shutting down worker: " + workerid); | logger.info("Shutting down worker: " + workerid); |
131 | workers.remove(workerid); | LookupWorker key = workers.remove(workerid); |
132 | ||
133 | if (key == null) { | |
134 | System.out.println("Error removing worker from set"); | |
135 | System.exit(0); | |
136 | } | |
137 | } | } |
138 | ||
139 | // Getters and setters | // Getters and setters |
|
ViewVC Help | |
Powered by ViewVC 1.1.20 |