Hi Guys -
Attached the extensions for SocketPlugin which are based on David's code (except I've folded them directly into SocketPlugin). It's basically just two functions: a) Being able to mark the socket as "reusable", e.g., setting SO_REUSADDR/SO_REUSEPORT explicitly (the main reason for putting this into a separate primitive is because on different platforms subtly different actions need to be taken) b) Being able to bind() a socket explicitly to an interface/port.
Cheers, - Andreas