blob: 5436de284bd08be4fba98746c5fc4f5f399bbff7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
valuetype Event
{
void do_print ();
public long value_;
};
interface Checkpoint
{
void put_event (in Event e);
// This operation will shutdown the server.
oneway void shutdown ();
};
|