/usr/local/etc/tor/torrc
DirPort 8080
The port was not changed. The only thing in the hotfix was a little issue in a diagnostics page.