blob: f58b2eaec3316c3c47a195137854860506a1e0cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* -*- C++ -*- */
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.
};
|
