getlantern/lantern — pull request #599 by leahxschmidt (2013-03-16 00:05:46+00:00)
Title: store random prefix/port info in properties file

This fixes #72