Okay then, applied as trunk 12750.For the record: We have managed to test everything short of the timing change about when unpin() is performed. The effects of leaving the server connection pinned for a few milliseconds longer now than before is unknown - but probably not too bad.
Amos
