Comment 25 for bug 893719

Thanks for the patch. I tested it, and it seemed to work fine. I know this patch does not fix the crash, but since I don't have time to work on this further, I think this patch is as good as it's going to get for a while. Thanks for your help!