Bug#899348: java.net.UnknownHostException: api.openstreetmap.org

積丹尼 Dan Jacobson jidanni at jidanni.org
Wed May 23 07:32:18 BST 2018


Package: josm
Version: 0.0.svn13710+dfsg-1
Severity: grave

Cannot open files. Please upgrade.

>>>>> "J" == JOSM  <trac at josm.openstreetmap.de> writes:
J> #16308: java.net.UnknownHostException: api.openstreetmap.org
J> ----------------------+--------------------
J>   Reporter:  jidanni  |      Owner:  team
J>       Type:  defect   |     Status:  closed
J>   Priority:  normal   |  Milestone:  18.05
J>  Component:  Core     |    Version:
J> Resolution:  fixed    |   Keywords:
J> ----------------------+--------------------
J> Changes (by stoecker):

J>  * status:  new => closed
J>  * resolution:   => fixed
J>  * milestone:   => 18.05


J> Comment:

J>  Fixed in r13821. See #16047.

J> -- 
J> Ticket URL: <https://josm.openstreetmap.de/ticket/16308#comment:1>
J> JOSM <https://josm.openstreetmap.de>
J> Java Openstreetmap Editor



More information about the Pkg-grass-devel mailing list