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