The attached patch solves the reported crash, but the whole problem is not solved by it. In addition, bug 633913 needs to get fixed.
The attached patch solves the reported crash, but the whole problem is not solved by it. In addition, bug 633913 needs to get fixed.