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