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