On Thu, Dec 15, 2011 at 9:55 AM, Terry Brown <[email protected]> wrote:
> one approach is to have Leo write its pid (process ID) to a file in > the .leo directory, and erase it when it exits. And check for it being > there already when it starts, of course. VNC, GoogleEarth, Chrome, > OpenOffice, all seem to take this approach. Good. That's what Leo will do. > The added nicety would be bringing the pre-existing Leo to the front. > The approach used in the leoserver plugin is a general solution for > remote control of a running Leo. Do you mean leoremote.py? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
