Echo server: Difference between revisions

m (wrong shebang for python)
Line 22:
GNAT.Sockets.Set_Socket_Option
(Socket => Receiver,
Level => GNAT.Sockets.Socket_Level,
Option => (Name => GNAT.Sockets.Reuse_Address, Enabled => True));
GNAT.Sockets.Bind_Socket
Line 165 ⟶ 166:
GNAT.Sockets.Set_Socket_Option
(Socket => Receiver,
Level => GNAT.Sockets.Socket_Level,
Option => (Name => GNAT.Sockets.Reuse_Address, Enabled => True));
GNAT.Sockets.Bind_Socket
Anonymous user