If there is a leftover socket when the server starts, delete it
(otherwise the bind() call will fail and the server will not start).
Description
Description
Details
Details
- Provenance
jylefort Authored on - Parents
- rP145987: Set PORTREVISION, in order to not inherit it from our master port.
- Branches
- Unknown
- Tags