blob: f909dc25975980e0e1d2d489a68f85aca6894042 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// $Id$
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 ();
};
|