#1348 <https://github.com/leo-editor/leo-editor/issues/1348> has been 
closed, but I'm not sure of its status.

gnx clashes are a recurring theme when using Leo (or the bridge) to spawn 
many other copies of Leo quickly.

I am wondering whether these clashes might be avoided if Leo would use a 
separate user id for each spawned copy.  This might be done either with a 
--id=x command-line option or with a kwarg to runLeo.py.

What are your thoughts?

Edward

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/cd35223c-de4d-4261-8300-422889bbc4e8%40googlegroups.com.

Reply via email to