[Mldonkey-bugs] [ 101016 ] Exception Pervasives.Exit in Options.sav

[nobody]

Support Request #101016, was updated on 2002-Jun-23 05:03
You can respond by visiting: 
http://savannah.gnu.org/support/?func=detailsupport&support_id=101016&group_id=1409

Category: None
Status: Open
Priority: 5
Summary: Exception Pervasives.Exit in Options.sav

By: news114
Date: 2002-Jun-23 05:03

Message:
Logged In: NO 
Browser: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020529

Hi all,

I'm running mldonkey 1.16 statically compiled on a
RedHat 7.3 and  I get this error (or maybe a warning)
when I watch the log :

Exception Pervasives.Exit in Options.save

Any idea about it ?

Thank you

----------------------------------------------------------------------
You can respond by visiting: 
http://savannah.gnu.org/support/?func=detailsupport&support_id=101016&group_id=1409