------------------------------------------------------------------------------ -- Ada Web Server -- -- -- -- Copyright (C) 2000-2001 -- -- ACT-Europe -- -- -- -- Authors: Dmitriy Anisimkov - Pascal Obry -- -- -- -- This library is free software; you can redistribute it and/or modify -- -- it under the terms of the GNU General Public License as published by -- -- the Free Software Foundation; either version 2 of the License, or (at -- -- your option) any later version. -- -- -- -- This library is distributed in the hope that it will be useful, but -- -- WITHOUT ANY WARRANTY; without even the implied warranty of -- -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -- -- General Public License for more details. -- -- -- -- You should have received a copy of the GNU General Public License -- -- along with this library; if not, write to the Free Software Foundation, -- -- Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. -- -- -- -- As a special exception, if other files instantiate generics from this -- -- unit, or you link this unit with other files to produce an executable, -- -- this unit does not by itself cause the resulting executable to be -- -- covered by the GNU General Public License. This exception does not -- -- however invalidate any other reasons why the executable file might be -- -- covered by the GNU Public License. -- ------------------------------------------------------------------------------ -- $Id: aws-session-control.adb,v 1.1 2003/10/05 20:00:00 Jano Exp $ with Ada.Unchecked_Deallocation; package body AWS.Session.Control is -------------- -- Shutdown -- -------------- procedure Shutdown is procedure Free is new Ada.Unchecked_Deallocation (Cleaner, Cleaner_Access); Need_Release : Boolean; begin Cleaner_Control.Stop (Need_Release); if Need_Release then Cleaner_Task.Stop; -- Wait for task termination while not Cleaner_Task'Terminated loop delay 0.5; end loop; -- Release memory Free (Cleaner_Task); end if; end Shutdown; ----------- -- Start -- ----------- procedure Start (Session_Check_Interval : Duration; Session_Lifetime : Duration) is begin Cleaner_Control.Start (Session_Check_Interval, Session_Lifetime); end Start; end AWS.Session.Control;