Lwt_ssl.*_channel_of_decr now close the socket when the channel is closed
Lwt_ssl.*_channel_of_decr now close the socket when the channel is closed

Ignore-this: a830f5819ec08fb996cc271d03267fce

darcs-hash:20121123194144-c41ad-21f7ce5d97a32f642dec2cc0f421ab6ead727bab

janestreet/lwt-async,mfp/lwt,c-cube/lwt,ocsigen/lwt,fdopen/lwt,rneswold/lwt,mirage/lwt,rgrinberg/lwt,rgrinberg/lwt,rneswold/lwt,mfp/lwt,rgrinberg/lwt,rneswold/lwt,c-cube/lwt,ocsigen/lwt,mirage/lwt,rgrinberg/lwt,gfxmonk/lwt,c-cube/lwt,fdopen/lwt,janestreet/lwt-async,ocsigen/lwt,gfxmonk/lwt