bug9650 210 B

1234
  1. o Minor bugfixes:
  2. - Avoid potential crashes or bad behavior when launching a
  3. server-side managed proxy with ORPort or ExtORPort temporarily
  4. disabled. Fixes bug 9650; bugfix on 0.2.3.16-alpha.