/* -*- C++ -*- */
// Time.idl,v 1.2 2000/02/14 16:27:21 brunsch Exp

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.
};
