blob: 66521161fabb9a6e42c3bd26e59b5d54c4bba32d (
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.
};
|
