CORBA25 — ServantLocator preinvoke/ postinvoke semantics

the 2.4 specification states that 'preinvoke and postinvoke operations
are always called in paris in response to any ORB activity...' the spec
details in particular the case of what happens when preinvoke is called
when processing a GIOP Locate message: postinvoke is called subsequent
to calling preinvoke.

if the preinvoke raises an exception, what is the expected behavior?
should postinvoke be called if preinvoke raises a system exception or
ForwardRequest? are there any situations in which postinvoke would not
be called following a call to preinvoke?

Clarify the expected behavior if preinvoke raises an exception