[Ur] 1/0 stopping server?

[Adam Chlipala]

Marc Weber wrote:
>> I'd the say the problem is that the resulting binary has even the possibility of
>> crashing because of this kind of problem. Exiting with a stack-trace would be
>> fine, but there is no reason the main process should exit just because in some
>>      
> Yes - I know we don't have stack traces.
> I'll open a ticket - because this crashing the server should be fixed.
>    

There's no need for further discussion about whether this should be 
considered a serious bug.  I agree that it is one, and I'll fix it soon.