socket timeout patch

[Nic Ferrier]

>However, I've seen both formatting styles in libjava (and in Classpath);
>it would be nice to come to a consensus.  Which format is official?

I should point out that the GNU coding standard says (of the
formatting rules)


   The rest of this section [after the rules on function decls] gives
   our recommendations for other aspects of C formatting style, which
   is also the default style of the `indent' program in version 1.2
   and newer.... We don't think of these recommendations as
   requirements, because it causes no problems for users if two
   different programs have different formatting styles.

Of course, that implies that the style chosen should be std throughout
one program.


But I don't think there's any need to get religous about this, if we
wanted to we could always reformat the code en masse with a PP.


Nic