rug-compling/alpinocorpus — comment on commit e383f641585ec8c75fccbb0872c84294f2b5ea7f
File:  line 0
By pebbe:

I couldn't find documentation for the destructors of socket and io_service, and I wanted to be sure all resources are freed. Is socket.close() really unnecessary? What about io_service.stop()?