blob: 3d07b80659f850b342b07caf6966935c822d18ed (
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 current_time ();
// Returns the current time of day on another machine.
oneway void shutdown ();
// Shutdown the application.
};
|