[tor-bugs] #11008 [Stem]: Accept Non-Tor Platform line in Server Descriptor

[Tor Bug Tracker & Wiki]

#11008: Accept Non-Tor Platform line in Server Descriptor
--------------------+------------------------
 Reporter:  sysrqb  |          Owner:  atagar
     Type:  defect  |         Status:  new
 Priority:  normal  |      Milestone:
Component:  Stem    |        Version:
 Keywords:          |  Actual Points:
Parent ID:          |         Points:
--------------------+------------------------
 Stem currently assumes the platform line in the server descriptor starts
 with "platform Tor".

 {{{
 platform_match = re.match("^Tor (\S*).* on (.*)$", value)
 }}}

 There exist other implementations which say something else, such as
 "platform node-Tor". Maybe changing "`^Tor`" to "(\w*)" will work, but
 there could be a better way.

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