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

Bugfix/3322 rest fixes #3325

Merged
merged 10 commits into from Feb 22, 2019
Merged

Bugfix/3322 rest fixes #3325

merged 10 commits into from Feb 22, 2019

Conversation

davidnich
Copy link
Contributor

No description provided.

davidnich and others added 10 commits December 30, 2018 10:00
refs #3225 added missing exception handling to WebSocketClient
…_fixes

refs #3215 added missing exception handling to WebSocketHandler
#3244)

* refs #3243 fixed a bug handling invalid DB driver options in datasource creation that could lead to a crash with some drivers

* refs #3243 fixed option setting in newer API

* refs #3243 fixed DatasourcePool handling of invalid options in pool creation
refs #3321 fixed default option handling in REST connections includin…
@davidnich davidnich self-assigned this Feb 22, 2019
@davidnich davidnich merged commit 3ffd7f8 into develop Feb 22, 2019
@davidnich davidnich deleted the bugfix/3322_REST_fixes branch February 22, 2019 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants