1 2 3 4 5 6
interface Simple_Server { string remote_call (); string shutdown (in string ior_file); string abort (in string ior_file); };