I'll do my best to release it before my 70th birthday, Devin <smile> Didier On 15/01/2019 20:31, Linux for blind general discussion wrote: > Yes, I am eagerly awaiting said batch of updates, Didier. <grin> > > Devin Prater > >> On Jan 15, 2019, at 12:21 PM, Linux for blind general discussion <blinux-list@xxxxxxxxxx> wrote: >> >> I think that we disagree because we are not speaking of the same thing. >> >> When I write "replace orca" I mean: replace an instance of the orca >> application living in RAM. >> >> When you write "restart orca" you mean: restart orca, application >> usually stored on a mass storage device. >> >> To illustrate the difference: you can have two instances of orca >> running at the same time (one for Janina, one for Didier), but you >> have only one Orca installed in your system. >> >> This being said, I'd better spend my time preparing the next big >> batch of updates for Slit than arguing here, even more so as it's >> up to Joanie, not me, to decide of the option's name <smile> >> >> Best, >> >> Didier >> >> On 15/01/2019 18:55, Linux for blind general discussion wrote: >>> OK, one more nit on this argument ... >>> >>> Linux for blind general discussion writes: >>>> Typing "orca -r", you kill this process (i.e., you remove it from >>>> the RAM), and you replace it with a new one. >>>> >>> The reason this is flawed is that there is no longer a Orca running once >>> the pid has been killed. Restarting Orca involves assigning a new pid to >>> it for inter-process communications. But, that's not a replacement, it's >>> an application restart that necessarily includes acquiring a process id. >>> >>> Now, if you could magically give Orca a new pid without killing the app, >>> then perhaps replace might be appropriate. >>> >>> _______________________________________________ >>> Blinux-list mailing list >>> Blinux-list@xxxxxxxxxx >>> https://www.redhat.com/mailman/listinfo/blinux-list >>> >> >> _______________________________________________ >> Blinux-list mailing list >> Blinux-list@xxxxxxxxxx >> https://www.redhat.com/mailman/listinfo/blinux-list > > > _______________________________________________ > Blinux-list mailing list > Blinux-list@xxxxxxxxxx > https://www.redhat.com/mailman/listinfo/blinux-list > _______________________________________________ Blinux-list mailing list Blinux-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/blinux-list