/* -*- C++ -*- */
// $Id: Time.idl 91816 2010-09-17 08:35:56Z johnnyw $

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