On Friday, October 28, 2016 at 5:38:13 AM UTC-5, Edward K. Ream wrote: > ...it would be better to use a singleton BackgroundManager, say > g.app.backgroundManager. This would allow multiple *kinds* of background > processes to coexist peacefully without intermixed output. >
Rev d52a103 completes all the improvements discussed today: - Renamed BackgroundManager to BackgroundProcessManager. - Created singleton BPM instance, g.app.backgroundProcessManager. - The BPM sends output to the originating log pane if possible. - The 'pylint' and 'pylint-kill' commands now use the BPM. Note that arbitrarily many other instances of the BPM class *could* reasonably coexist with the processes managed by the "singleton" g.app.backgroundProcessManager, provided that the other instances ran processes that did not produce any output. So, arbitrarily many processes could run in the background, provided that the only one process at a time produces output. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
