db/Interface: remove IsPlugin(), use dynamic_cast instead

This commit is contained in:
Max Kellermann
2018-11-19 19:19:20 +01:00
parent ed9ece5ea3
commit bda77ffc5b
5 changed files with 15 additions and 30 deletions

View File

@@ -52,10 +52,6 @@ public:
return plugin;
}
bool IsPlugin(const DatabasePlugin &other) const noexcept {
return &plugin == &other;
}
/**
* Open the database. Read it into memory if applicable.
*