Bing Xia

Results 1 comments of Bing Xia

I'm not sure the `requestTime()` is capable of throwing ErrnoExceptions - `requestTime()` is calling `socket.send()`, which only throws `IOException`s. Sockets already catch `ErrnoException` and rethrow as `IOException`.