4 interface Shutdown_Helper
;
6 /// An interface to send oneway messages
7 interface Oneway_Receiver
9 /// The server raises a system exception, only the
10 /// SYNC_WITH_TARGET can detect that.
11 oneway
void raise_no_permission
();
13 /// Destroy the object
14 oneway
void destroy
();
16 /// Return a helper interface
17 Shutdown_Helper get_shutdown_helper
();
20 /// A simple interface to shutdown the server
21 interface Shutdown_Helper
23 /// Shutdown the server