|
@@ -496,8 +496,17 @@ public final class Main {
|
496
|
496
|
resourceName.length()));
|
497
|
497
|
|
498
|
498
|
if (!newFile.isDirectory()) {
|
|
499
|
+ final PluginManager pm = PluginManager.getPluginManager();
|
|
500
|
+
|
499
|
501
|
ResourceManager.getResourceManager().
|
500
|
502
|
resourceToFile(resource.getValue(), newFile);
|
|
503
|
+
|
|
504
|
+ final PluginInfo plugin = pm.getPluginInfo(newFile
|
|
505
|
+ .getAbsolutePath().substring(pm.getDirectory().length()));
|
|
506
|
+
|
|
507
|
+ if (plugin != null) {
|
|
508
|
+ plugin.pluginUpdated();
|
|
509
|
+ }
|
501
|
510
|
}
|
502
|
511
|
} catch (IOException ex) {
|
503
|
512
|
Logger.userError(ErrorLevel.LOW, "Failed to extract plugins", ex);
|