Changeset 11180 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2016-10-28T09:24:02+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/bugreport/BugReportQueue.java
r11107 r11180 10 10 11 11 import org.openstreetmap.josm.Main; 12 import org.openstreetmap.josm.tools.Logging; 12 13 13 14 /** … … 53 54 */ 54 55 public synchronized void submit(ReportedException report) { 56 Logging.logWithStackTrace(Logging.LEVEL_ERROR, "Handled by bug report queue", report); 55 57 if (suppressAllMessages || suppressFor.stream().anyMatch(report::isSame)) { 56 58 Main.info("User requested to skip error " + report);
Note:
See TracChangeset
for help on using the changeset viewer.