// $Id$
//
// Empty macro used to override a user defined logoff script.

void empty() 
{
}