[tor-bugs] #25712 [Metrics/Library]: Replace ServerDescriptor#getHiddenServiceDirVersions with ServerDescriptor#isHiddenServiceDir

[Tor Bug Tracker & Wiki]

#25712: Replace ServerDescriptor#getHiddenServiceDirVersions with
ServerDescriptor#isHiddenServiceDir
-----------------------------+-------------------------
 Reporter:  karsten          |          Owner:  karsten
     Type:  enhancement      |         Status:  closed
 Priority:  Low              |      Milestone:
Component:  Metrics/Library  |        Version:
 Severity:  Normal           |     Resolution:  fixed
 Keywords:                   |  Actual Points:
Parent ID:                   |         Points:
 Reviewer:                   |        Sponsor:
-----------------------------+-------------------------
Changes (by karsten):

 * status:  merge_ready => closed
 * resolution:   => fixed


Comment:

 Given that this is now a deprecated method, let's not start using new Java
 features there. That method is going away when we bump to version 3.0.0
 anyway. Squashed my branch and merged to master. Closing. Thanks!

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/25712#comment:9>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online