}
/** Queue the offered key. */
public void queueOfferedKey(Key key, boolean realTime) {
ClientRequestScheduler sched = requestStarters.getScheduler(key instanceof NodeSSK, false, realTime);
sched.queueOfferedKey(key, realTime);
}
public void dequeueOfferedKey(Key key) {
ClientRequestScheduler sched = requestStarters.getScheduler(key instanceof NodeSSK, false, false);
sched.dequeueOfferedKey(key);