Opened 7 years ago

Closed 6 years ago

#6791 closed defect (implemented)

Deprecate "DirServer"; call them "DirAuthority".

Reported by: nickm Owned by:
Priority: Low Milestone: Tor: 0.2.4.x-final
Component: Core Tor/Tor Version:
Severity: Keywords: easy tor-client
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

We don't call the directory authorities "DirServers" much these days. The name dates back to when there was just one server in the whole network, I think, and everything else was a mere cache. It would probably make way more sense to rename the option. We should keep the old one as an alias, though, so things don't break.

Child Tickets

Change History (5)

comment:1 Changed 7 years ago by arma

fine with me

comment:2 Changed 7 years ago by nickm

Keywords: easy added

comment:3 Changed 7 years ago by nickm

Keywords: tor-client added

comment:4 Changed 7 years ago by nickm

Component: Tor ClientTor

comment:5 Changed 6 years ago by nickm

Resolution: implemented
Status: newclosed

It appears I did this as ded70363 in 0.2.4.7-alpha as part of the proposal 206 implementation to close #572. Closing this ticket too.

Note: See TracTickets for help on using tickets.