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

Restore guc values #21

Closed
tilkow opened this issue May 12, 2023 · 2 comments
Closed

Restore guc values #21

tilkow opened this issue May 12, 2023 · 2 comments
Assignees
@tilkow

Comments

@tilkow
Copy link
Contributor

tilkow commented May 12, 2023

GUC values are not restored when the GUC was previously changed via the SET command.
@tilkow
Copy link
Contributor Author

tilkow commented May 12, 2023

tested with #22

@tilkow tilkow self-assigned this May 12, 2023
@tilkow
Copy link
Contributor Author

tilkow commented May 17, 2023

Pr #22 merged

@tilkow tilkow closed this as completed May 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tilkow tilkow

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tilkow