Message156417
A new patch with fixes and documentation.
And yes, socket.share() does in fact perform duplication, because socket.close() can be performed immediately afterwards. |
|
Date |
User |
Action |
Args |
2012-03-20 15:09:17 | kristjan.jonsson | set | recipients:
+ kristjan.jonsson, giampaolo.rodola, sbt |
2012-03-20 15:09:17 | kristjan.jonsson | set | messageid: <1332256157.29.0.904504766285.issue14310@psf.upfronthosting.co.za> |
2012-03-20 15:09:16 | kristjan.jonsson | link | issue14310 messages |
2012-03-20 15:09:16 | kristjan.jonsson | create | |
|