Message189208
Kristjan, could you confirm whether joining the pool explicitly before shutdown (in the way I suggested earlier) fixes the problem. I think it should -- at shutdown you won't switch to a thread if it has already been joined. |
|
Date |
User |
Action |
Args |
2013-05-14 11:46:06 | sbt | set | recipients:
+ sbt, pitrou, kristjan.jonsson, neologix |
2013-05-14 11:46:06 | sbt | set | messageid: <1368531966.2.0.954835976632.issue17969@psf.upfronthosting.co.za> |
2013-05-14 11:46:06 | sbt | link | issue17969 messages |
2013-05-14 11:46:06 | sbt | create | |
|