/usr/share/ada/adainclude/aws/aws-server-hotplug.ads is in libaws2.10.2-dev 2.10.2-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 | ------------------------------------------------------------------------------
-- Ada Web Server --
-- --
-- Copyright (C) 2000-2009, AdaCore --
-- --
-- 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. --
-- --
------------------------------------------------------------------------------
with AWS.Hotplug;
package AWS.Server.Hotplug is
-- Messages used to register/unregister hotplug modules
Register_Message : constant String := "REGISTER";
Unregister_Message : constant String := "UNREGISTER";
Request_Nonce_Message : constant String := "REQUEST_NONCE";
-- The Authorization_File below is a file that contains authorizations
-- for the hotplug modules. Only modules that have an entry into this
-- file will be able to register to server. Each line on this file must
-- have the following format:
--
-- <module_name>:<md5_password>:<host>:<port>
--
-- module_name : The name of the module that will register
-- md5_password : The corresponding password, use aws_password
-- tool to generate such password
-- host : The host name where requests will be redirected
-- port : and the corresponding port
procedure Activate
(Web_Server : HTTP_Access;
Port : Positive;
Authorization_File : String;
Register_Mode : AWS.Hotplug.Register_Mode := AWS.Hotplug.Add);
-- Start hotplug server listening at the specified Port for the Web_Server.
-- Only client modules listed in the authorization file will be able to
-- connect to this server. For better securite the host of redictection
-- must also be specified.
procedure Shutdown;
-- Shutdown hotplug server
end AWS.Server.Hotplug;
|