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.

Sign up for GitHub

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

Jump to bottom

improve logging for WPS process #100

Merged
merged 1 commit into from
May 5, 2023
Merged

improve logging for WPS process #100

merged 1 commit into from
May 5, 2023

Conversation

arnevogt
Copy link
Member

@arnevogt arnevogt commented May 4, 2023 •
edited
Loading

slightly improved logging for wps process

  • use request encoder depending on wps version
  • log exception that caused retry

hopefully helps us to find the reason for #98

@nbrinckm
Copy link
Contributor

nbrinckm commented May 4, 2023

No change to test it for the moment, but it looks good from my point of view.

MichaelLangbein
MichaelLangbein approved these changes May 5, 2023
View reviewed changes
Copy link
Contributor

@MichaelLangbein MichaelLangbein left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Got nothing to add - approved! Thanks!

@arnevogt arnevogt merged commit 5a8e007 into main May 5, 2023
@arnevogt arnevogt mentioned this pull request May 15, 2023
Closed
@MichaelLangbein MichaelLangbein deleted the fix/handleWPSVersion branch July 19, 2023 13:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nbrinckm nbrinckm nbrinckm approved these changes

@MichaelLangbein MichaelLangbein MichaelLangbein approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@arnevogt @nbrinckm @MichaelLangbein