The fact that peer closed the socket should be detected right after the select()...

The fact that peer closed the socket should be detected right after the select(). If we see it here, there was a problem. So, raise the exception in any case to allow messaging layer to react sainly to it (right now, the receiver would go into an infinite loop when the sender dies between the header send and the body send)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2455 48e7efb5-ca39-0410-a469-dd3cf9ba447f