6 // Defines an interface that encapsulates operations that
7 // return the current time of day and shuts down the server.
9 oneway
void invoke
(in string client_name
,
12 // Returns the current time of day on another machine.
14 oneway
void shutdown
();
15 // Shutdown the application.