Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extend the loader tool with the option to print a statics over each processed feature type #1293

Merged
merged 2 commits into from
Dec 7, 2022

Conversation

stephanr
Copy link
Member

Besides the optional statistics, this pr also changed the summary output to include the previous unused end time in the report.

* include end time to summary
@stephanr stephanr added the enhancement enhancement or improvement label Mar 11, 2022
@tfr42 tfr42 added tools deegree command line tools (CLI) needs rebase PR is not up to date and needs rebase labels May 12, 2022
@tfr42 tfr42 removed the needs rebase PR is not up to date and needs rebase label Aug 10, 2022
@tfr42 tfr42 added this to the 3.5 milestone Dec 7, 2022
@tfr42 tfr42 merged commit f4efd1c into deegree:main Dec 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement enhancement or improvement tools deegree command line tools (CLI)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants