Re: [Demexp-dev] Problem with preference saving ?

[Thomas Petazzoni]

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