[AWS] How terminate an AWS program

[Marius Amado-Alves]

My main program looks like this. My service raises Shutdown (upon a
special URI). The server stops serving (correct). But the program does
not terminate (it terminates with Ctrl-C on the command line). I tried
with the Wait procedure too. Which I don't quite understand... surely
that's the problem... Thanks a lot.

   AWS.Server.Start
     (Web_Server => WS,
      Name => "KAUS",
      Max_Connection => 100,
      Port => User_Port,
      Callback => Service'Access);
exception
   when Shutdown =>
      Put_Line("Shuting down...");
      AWS.Server.Shutdown (WS);