Richard Oudkerk added the comment:
A pool should only be used by the process that created it (unless you use a
managed pool).
If you are creating long lived processes then you could create a new pool on
demand. For example (untested)
pool_pid = (None, None)
def get_pool():
global pool_pid
if os.getpid() != pool_pid[1]:
pool_pid = (Pool(), os.getpid())
return pool_pid[0]
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue17273>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
