Expose server port

[jtbandes]

Changelog

The server now exposes the port it's listening on, so you can pass a port of 0 and later determine the actual port used.

Docs

None

Description

Also tweaked a few memory orderings after discussing in slack – we can stick with the following defaults unless otherwise noted with a comment:

• load: Acquire
• store: Release
• fetch_add/compare_exchange etc.: AcqRel

[jtbandes]

What's the magic incantation to update the generated type stubs? Also – do we need a lint step to enforce that they're up to date?

[amacneil]

Pretty sure they are manually authored

[bryfox]

What's the magic incantation to update the generated type stubs? Also – do we need a lint step to enforce that they're up to date?

Yes, it's manual now, and relying on manual review (and unittest + mypy). I had a branch going to attempt to auto-generate them, but not there yet.

edit: FG-9900

[gasmith]

LG