[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Demexp-dev] Problem with preference saving ?
From: |
Thomas Petazzoni |
Subject: |
Re: [Demexp-dev] Problem with preference saving ? |
Date: |
Wed, 28 Sep 2005 09:34:05 +0200 |
User-agent: |
Mozilla Thunderbird 1.0.2 (X11/20050322) |
Hello,
David MENTRE wrote:
> I think you have spoted the bug quite well.
Cool ;-)
> I would write it:
> ) else (
> log " File \"%s\" does not exists. Don't load bases." filename;
> Participants.initialize_default_participant_base ()
> ) ;
> flush_all ()
Ok, I understand. Anyway, I think that a proper fix would involve
throwing an exception in io.ml when the bases cannot be loaded, and in
demexp-server.ml, when this exception is catched, initialize a default
participant base.
> It's been a long time since I looked at that code, so I need to dive
> into it to fix it properly.
Ok.
Thanks,
Thomas
--
Thomas Petazzoni
address@hidden
- [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/25
- Re: [Demexp-dev] Problem with preference saving ?, David MENTRE, 2005/09/26
- Re: [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/26
- Re: [Demexp-dev] Problem with preference saving ?, David MENTRE, 2005/09/26
- Re: [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/27
- Re: [Demexp-dev] Problem with preference saving ?, David MENTRE, 2005/09/27
- Re: [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/27
- Re: [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/27
- Re: [Demexp-dev] Problem with preference saving ?, Thomas Petazzoni, 2005/09/27
- Re: [Demexp-dev] Problem with preference saving ?, David MENTRE, 2005/09/28
- Re: [Demexp-dev] Problem with preference saving ?,
Thomas Petazzoni <=