diff options
| author | Max Kellermann <max@musicpd.org> | 2020-10-27 19:00:46 +0100 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2020-10-27 19:14:31 +0100 |
| commit | ecaa51e322095dce9ccc91984c605ffd8dd994ef (patch) | |
| tree | f810bef83c4b50354e92efcd66ea20d5f6539505 /src/db/plugins/simple | |
| parent | 0779333064b2b0f752dfb1d81259f7d24e9a7317 (diff) | |
db/simple: purge special directories for unavailable plugins on update
Diffstat (limited to 'src/db/plugins/simple')
| -rw-r--r-- | src/db/plugins/simple/Directory.hxx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/db/plugins/simple/Directory.hxx b/src/db/plugins/simple/Directory.hxx index 7062e609c..ea14420d0 100644 --- a/src/db/plugins/simple/Directory.hxx +++ b/src/db/plugins/simple/Directory.hxx @@ -133,6 +133,13 @@ public: } /** + * Checks whether this is a "special" directory + * (e.g. #DEVICE_PLAYLIST) and whether the underlying plugin + * is available. + */ + bool IsPluginAvailable() const noexcept; + + /** * Remove this #Directory object from its parent and free it. This * must not be called with the root Directory. * |