01: /*
02: * WorkRequestQueue.java
03: *
04: * Created on May 10, 2004, 12:12 PM
05: */
06:
07: package org.homedns.dade.jcgrid.server;
08:
09: import java.util.*;
10:
11: import org.homedns.dade.jcgrid.*;
12:
13: public class WorkRequestQueue extends
14: org.homedns.dade.jcgrid.util.Queue {
15: public WorkRequestQueue() {
16: super ();
17: }
18:
19: public void removePendingWorkRequests(String sessionName) {
20: synchronized (super .elements) {
21: for (Iterator i = super .elements.iterator(); i.hasNext();) {
22: WorkRequest wr = (WorkRequest) i.next();
23:
24: if (wr.getSessionName().equals(sessionName))
25: i.remove();
26: }
27: }
28: }
29: }
|