Message182659
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] |
|
Date |
User |
Action |
Args |
2013-02-22 09:50:12 | sbt | set | recipients:
+ sbt, jnoller, abn |
2013-02-22 09:50:12 | sbt | set | messageid: <1361526612.78.0.0680697268195.issue17273@psf.upfronthosting.co.za> |
2013-02-22 09:50:12 | sbt | link | issue17273 messages |
2013-02-22 09:50:12 | sbt | create | |
|