1 2 3 4 5 6 7 8
// $Id$ interface Simple_Server { string remote_call (); string shutdown (in string ior_file); string abort (in string ior_file); };