tree 15b75e35b667739a8d97f3bf02815d3c02299cf7
parent bc4dd8c812c6cd601c1aba65be378f77ddc6a7c0
author Davide Pesavento <davide.pesavento@lip6.fr> 1392658699 +0100
committer Alex Afanasyev <afanasev@cs.ucla.edu> 1392676315 -0800

stream-face: invoke shutdown() before closing the socket.

As recommended by boost::asio documentation.
Also refactor the shutdown logic into its own method.

Change-Id: I033de350a9cb659439034f7b5bb36031cda87a25