Comment 2 for bug 2045142

Thanks for the advice. I did not get the opportunity to test it because Diodon started working again from yesterday. I expect your advice would have worked well and I will keep it in mind for any future problems. Perhaps this was not a bug in Diodon after all. :-)