Don't issue plugin reload warning for plugin-type: import

Fixes #5719
new-json-store-area
jeremy@jermolene.com 2021-05-23 11:19:46 +01:00
rodzic 3fe5b77770
commit 8fbf52e419
1 zmienionych plików z 7 dodań i 0 usunięć

Wyświetl plik

@ -1509,6 +1509,13 @@ exports.invokeUpgraders = function(titles,tiddlers) {
// Determine whether a plugin by title is dynamically loadable
exports.doesPluginRequireReload = function(title) {
var tiddler = this.getTiddler(title);
if(tiddler && tiddler.fields.type === "application/json" && tiddler.fields["plugin-type"]) {
if(tiddler.fields["plugin-type"] === "import") {
// The import plugin never requires reloading
return false;
}
}
return this.doesPluginInfoRequireReload(this.getPluginInfo(title) || this.getTiddlerDataCached(title));
};