blob: d84cfa23a23f6b7c71a3775e2900b69f22e129a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//
// $Id$
//
interface Simple_Server {
long echo (in long x, in long msecs);
// Returns <x>, but sleep for <msecs> milliseconds before returning
oneway void shutdown ();
// Shutdown the ORB
};
|