On 06/27/2016 06:51 AM, Ted Felix wrote: > 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. I don't think either one of us ever thought of that. It does sound promising. -- D. Michael McIntyre ------------------------------------------------------------------------------ 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
