[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-41
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-41 |
Date: |
Sun, 06 Mar 2005 14:14:34 +0100 |
Revision: demexp--cduce--0.3--patch-41
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Mar 6 14:14:14 CET 2005
Standard-date: 2005-03-06 13:14:14 GMT
Modified-files: srv/demexp-server.ml.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-41
Summary: bug fix: do not quit server at each Unix error
Keywords: server
* srv/demexp-server.ml.nw: avoid to quit the server each time a Unix
error occurs, like a reset of TCP connection.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--cduce--0.3--patch-41,
David <=