Sebastien, thanks for your (prompt, as usual) reply. A first solution
that comes to mind to be sure to avoid this is to run
bonobo-activation-server synchronously from an X child, so that it gets
killed by the operating system when X dies. However, I imagine that two
different gnome sessions would share the bonobo-activation-server
daemon. Is this the case? If not, then a patch might be easier than it
seems.
Sebastien, thanks for your (prompt, as usual) reply. A first solution activation- server synchronously from an X child, so that it gets activation- server
that comes to mind to be sure to avoid this is to run
bonobo-
killed by the operating system when X dies. However, I imagine that two
different gnome sessions would share the bonobo-
daemon. Is this the case? If not, then a patch might be easier than it
seems.
Vincenzo