diff options
Diffstat (limited to 'org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java')
-rw-r--r-- | org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java b/org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java index ccba1a76e..e6af9503d 100644 --- a/org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java +++ b/org/omg/PortableInterceptor/ServerRequestInterceptorOperations.java @@ -54,7 +54,7 @@ public interface ServerRequestInterceptorOperations * ORB calls this method before invoking the servant manager. Operation * parameters are not available at this point. The interceptor has possibility * to forward the request by throwing {@link ForwardRequest}. - * + * * @throws SystemException if it does, the receive_request_service_contexts is * not called for the subsequent interceptors, calling * send_exception instead. The completion status of such exception @@ -133,4 +133,4 @@ public interface ServerRequestInterceptorOperations * successive interceptors receive on their calls to send_other. */ void send_other(ServerRequestInfo info) throws ForwardRequest; -}
\ No newline at end of file +} |