-
Pekka Pessi authored
Ignore-this: 4018f3a32723692153389c2109b72296 Try UDP instead of TCP if TCP server does not respond quick enough. darcs-hash:20090304182220-db55f-83f5e6cc3b8e309ce125055f7498e38d47741f38.gz
9af19368
Ignore-this: 4018f3a32723692153389c2109b72296 Try UDP instead of TCP if TCP server does not respond quick enough. darcs-hash:20090304182220-db55f-83f5e6cc3b8e309ce125055f7498e38d47741f38.gz