This file is indexed.

/usr/share/doc/libaws-doc/examples/wps/wps.adb is in libaws-doc 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
59
60
61
62
63
64
------------------------------------------------------------------------------
--                              Ada Web Server                              --
--                                                                          --
--                         Copyright (C) 2000-2007                          --
--                                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.          --
--                                                                          --
------------------------------------------------------------------------------

--  This is a very simple Web Page Server using the AWS.Services.Page_Server.

with Ada.Text_IO;

with AWS.Config;
with AWS.Server.Log;
with AWS.Services.Page_Server;

procedure WPS is

   use Ada;

   WS : AWS.Server.HTTP;

   Config : constant AWS.Config.Object := AWS.Config.Get_Current;

begin
   Text_IO.Put_Line ("AWS " & AWS.Version);
   Text_IO.Put_Line
     ("Server port:" & Integer'Image (AWS.Config.Server_Port (Config)));
   Text_IO.Put_Line ("Kill me when you want me to stop or press Q...");

   if AWS.Config.Directory_Browser_Page (Config) /= "" then
      AWS.Services.Page_Server.Directory_Browsing (True);
   end if;

   if AWS.Config.Log_Filename_Prefix (Config) /= "" then
      AWS.Server.Log.Start (WS);
   end if;

   if AWS.Config.Error_Log_Filename_Prefix (Config) /= "" then
      AWS.Server.Log.Start_Error (WS);
   end if;

   AWS.Server.Start (WS, AWS.Services.Page_Server.Callback'Access, Config);

   AWS.Server.Wait (AWS.Server.Q_Key_Pressed);

   Text_IO.Put_Line ("AWS server shutdown in progress...");

   AWS.Server.Shutdown (WS);
end WPS;