blob: 96abb0b32de481d6cf3fe1a95c79622ecead6c53 (
plain)
1
2
3
4
5
6
7
8
9
10
|
// $Id$
interface Ping_Object
{
void ping ();
// Used for checking for liveness of a server. When the server receives
// this, it should send back a response indicating it is sill alive.
// Depending on the policy specified, a timeout can be reached where the
// Implementation Repository will restart the server.
};
|