blob: ffbdc5cc49cbe4113f44aea1d11dd37452cf6bb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* -*- C++ -*- */
// $Id$
interface Time
{
// = TITLE
// Defines an interface that encapsulates operations that
// return the current time of day and shuts down the server.
long time ();
// Returns the current time of day on another machine.
oneway void shutdown ();
// Shutdown the application.
};
|
