On 10 Dec 2015, at 15:52, Yawning Angel <yawning@schwanenlied.me> wrote:

On Thu, 10 Dec 2015 01:26:41 +0000
Geoff Down <geoffdown@fastmail.net> wrote:

...

It's quite annoying that Tor doesn't remember its auto-picked port,
and I have to change the port-forwarding rule every time.

This should get persisted in the state file.