Parent Directory
| 
Revision Log
| 
Patch
| revision 2204 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 |