[orca-list] Proposed fix for the cannot-restart-orca issue

Hey guys.

JosÃ, thank you so much for the test case! It definitely simplifies

I have opened a new bug for the specific issue and attached a proposed
patch: https://bugzilla.gnome.org/show_bug.cgi?id=628568

Please test and let me know. 

I am thinking and hoping that it will solve all the instances of the
problem, and not just JosÃ's specific example of the registry daemon
dying. However, if that is not the case, I would prefer to open new bugs
for new issues. You see, basically before what we had is a hack -- and
one specifically mentioned in the python docs as "don't do that." Rather
than put it, or a similar hack, back into Orca, I'd rather locate and
properly fix any issues which resulted from the hack removal.

Thanks and take care.

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]