On Monday, June 22, 2015 at 10:18:01 PM UTC+1, Edward K. Ream wrote:
>
> On Mon, Jun 22, 2015 at 1:37 PM, Todd Mars <[email protected] <javascript:>
> > wrote:
>
> The thing where it says it's already open when it's not, now I understand
>> it! Where is this global db file and why is it necessary?
>>
>
> It's (usually?) in ~/.leo/db/global/open-leo-files This a binary file
> (pickleshare).
>
> It's necessary because there is no portable way to determine whether
> another copy of Leo is running.
>
> EKR
>
FWIW, I've done this in a cross-platform way by 'allocating' a port number
and using a listening socket on that port.
You may not like this for other reasons ... ;-/
J^n
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
