This should be in aws-net-websocket.ads

   procedure Close
     (Socket  : in out Object;
      Message : String;
      Error   : Error_Type := Normal_Closure);
   --  Send a close frame to the WebSocket

Very strange error indeed, git annotate shows that even the current version
pre-dates the AWS-GPL version:

79a38bab        (Pascal Obry    2014-02-01 18:53:18 +0100       132)
procedure Close
79a38bab        (Pascal Obry    2014-02-01 18:53:18 +0100       133)
(Socket  : in out Object;
79a38bab        (Pascal Obry    2014-02-01 18:53:18 +0100       134)
 Message : String;
79a38bab        (Pascal Obry    2014-02-01 18:53:18 +0100       135)
 Error   : Error_Type := Normal_Closure);
79a38bab        (Pascal Obry    2014-02-01 18:53:18 +0100       136)   --
 Send a close frame to the WebSocket

David Botton
------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
Gnoga-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gnoga-list

Reply via email to