[MDEV-16294] INSTALL PLUGIN IF NOT EXISTS / UNINSTALL PLUGIN IF EXISTS Created: 2018-05-25 Updated: 2019-02-28 Resolved: 2018-10-31 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Server |
| Fix Version/s: | 10.4.0 |
| Type: | Task | Priority: | Major |
| Reporter: | Sergey Vojtovich | Assignee: | Sergei Golubchik |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | contribution, foundation, patch | ||
| Issue Links: |
|
||||||||
| Description |
|
Allow the installation / uninstallation of plugins without doing checks for existence first. https://github.com/MariaDB/server/pull/757 |
| Comments |
| Comment by Elena Stepanova [ 2018-12-24 ] |
|
I see from pull request comments that it's intentional, but it's still fairly inconsistent that UNINSTALL SONAME IF EXISTS is supported, while INSTALL SONAME IF NOT EXISTS is not. |