- Timestamp:
- 2020-06-07T14:11:57+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/HttpClient.java
r15968 r16551 197 197 if (!successfulConnection) { 198 198 performDisconnection(); 199 progressMonitor.finishTask(); 199 200 } 200 201 }
Note:
See TracChangeset
for help on using the changeset viewer.