302303304305306307308309310311312
} public void serverExited() { } }, false ); server.start(); } } private void notifyAboutToExecuteRequest( final Request request ) {
275276277278279280281282283284285
public void serverExited() { } }, false); server.start(); } } private void notifyAboutToExecuteRequest(final Request request) { requestObserverLord.notifyObservers(new ObserverLord.ObserverNotification<RequestObserver>() {