Changeset 18428 in josm
- Timestamp:
- 2022-04-18T10:21:33+02:00 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/progress/CLIProgressMonitor.java
r18365 r18428 39 39 protected void doBeginTask() { 40 40 if (!Utils.isBlank(this.title)) { 41 Logging.info(tr("Beginning task {2}: {0}{1}", this.title, this.customText,41 Logging.info(tr("Beginning task {2}: {0}{1}", this.title, this.customText, 42 42 Optional.ofNullable(this.taskId).map(ProgressTaskId::getId).map(id -> ' ' + id).orElse(""))); 43 43 } … … 48 48 @Override 49 49 protected void doFinishTask() { 50 Logging.info(tr("Finishing task {2}: {0}{1} ({3})", this.title, this.customText,50 Logging.info(tr("Finishing task {2}: {0}{1} ({3})", this.title, this.customText, 51 51 Optional.ofNullable(this.taskId).map(ProgressTaskId::getId).map(id -> ' ' + id).orElse(""), this.startTime)); 52 52 this.lastUpdateTime = null; … … 72 72 if (this.lastUpdateTime == null || this.lastUpdateTime.elapsed() > TimeUnit.SECONDS.toMillis(10)) { 73 73 this.lastUpdateTime = Stopwatch.createStarted(); 74 Logging.info(tr("Progress of task {2}: {0}{1} is {3}% ({4})", this.title, this.customText,74 Logging.info(tr("Progress of task {2}: {0}{1} is {3}% ({4})", this.title, this.customText, 75 75 Optional.ofNullable(this.taskId).map(ProgressTaskId::getId).map(id -> ' ' + id).orElse(""), value * 100, this.startTime)); 76 76 }
Note:
See TracChangeset
for help on using the changeset viewer.