94 |
queue = db.hentIkkedaekkedeAdresser(postnr); |
queue = db.hentIkkedaekkedeAdresser(postnr); |
95 |
if (queue.size() == 0) { |
if (queue.size() == 0) { |
96 |
logger.info("Fandt ikke nogen _ikke_ daekkede adresser i " + postnr); |
logger.info("Fandt ikke nogen _ikke_ daekkede adresser i " + postnr); |
97 |
|
return; |
98 |
} |
} |
99 |
|
|
100 |
BoundingBox bbox = db.getBoundingbox(postnr); |
BoundingBox bbox = db.getBoundingbox(postnr); |
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 |
} |
} |