On 06/27/2016 02:28 AM, Johan Vromans wrote:
> Unless I didn't get the story well, why not use the standard technique
> to write the process id in the lock file, and remove and existing lock file
> when the associated process is no longer there?

   So long as the hostnames match, this sounds like it might work.

Ted.

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
Rosegarden-user mailing list
[email protected] - use the link below to unsubscribe
https://lists.sourceforge.net/lists/listinfo/rosegarden-user

Reply via email to