>> So I'm arguing that exiting, with an error message, is better than handling
>> user errors.
>
> I'm not objecting to exiting with an error message, but I think
> letting ourselves be killed by a signal is no good.
Ok, I understand this point for this purpose.
--
Fabien.