dummyserver_1.0.0_9a6e8708/src/server.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
with GNAT.Sockets; use GNAT.Sockets;
with Configuration;

package Server is

   procedure Start
     (Resources : Configuration.Resource_List_Type.Map;
      Port : Port_Type := 8080;
      Quiet : Boolean := False);

private
end Server;