HomeIsabelle/Phabricator

Add getaddrinfo call and remove gethostbyname. Reorganise the inet4 socket…

Description

Add getaddrinfo call and remove gethostbyname. Reorganise the inet4 socket code in the basis library to pull together
INetSock and NetHostDB.

Details

Provenance
dcjmAuthored on Mar 11 2019, 9:00 AM
Parents
rPOLYMLa1181f1da4ca: Merge branch 'master' of https://github.com/dcjm/polyml into NetworkChanges
Branches
Unknown
Tags
Unknown