[m-rev.] diff: extras/ Update the net library

[Sebastian Godelet]

On Mon, 29 Sep 2014 09:57:42 +1000
Paul Bone <paul at bone.id.au> wrote:

> extras/ Update the net library
> 
> This library had been neglected for a while and came to my attention
> when it used deprecated (or at least old) C interfaces rather than
> newer reentrant ones.  I've started to improve this library by giving
> a more typesafe and Mercury-esque API, using only reentrant C
> functions, and eventually adding support for more protocols, (eg:
> IPv6 and UDP) better integration with Mercury's io module and
> generally making it easier to use.
> 

Hello Paul,

there is a spurious "g" at the end of extras/net/sockets.m,
here is the diff to remove.

Cheers,

Sebastian.

--

diff --git a/extras/net/sockets.m b/extras/net/sockets.m
index 9376368..490b51a 100644
--- a/extras/net/sockets.m
+++ b/extras/net/sockets.m
@@ -387,4 +387,4 @@ close(Socket, Result, !IO) :-
 
 %-----------------------------------------------------------------------------%
 :- end_module sockets.
-g%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%