[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-15
|
From: |
David |
|
Subject: |
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-15 |
|
Date: |
Fri, 11 Feb 2005 17:35:09 +0100 |
Revision: demexp--cduce--0.3--patch-15
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Feb 11 17:34:43 CET 2005
Standard-date: 2005-02-11 16:34:43 GMT
Modified-files: known-bugs.txt srv/demexp-server.ml.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-15
Summary: bug fix: no more server crash on bad input
Keywords: server
* srv/demexp-server.ml.nw: fix for the bug where server crashed on bad
input. We now catch the generated exceptions and restart the
processing part.
* known-bugs.txt: new bugs.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--cduce--0.3--patch-15,
David <=