agl/pond — pull request #132 by burdges (2014-10-24 03:49:11+00:00)
Title: Detect tor port even in developer mode

Detect tor port even in developer mode so that PANDA can run properly under TBB. There was an issue because PANDA runs over tor even in developer mode, but TBB uses port 9150 rather than the default tor port 9050.