On 01/28/2014 12:34, Ted Kremenek wrote: > No user is going to do that. What do we really gain here by removing this functionality? ??? So you mean they will just live with the crash? Yuri