mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-03 23:25:52 +00:00
[JENKINS-68194] Delete .disabled file when uninstalling a plugin (#7042)
This commit is contained in:
1 parent
221ff946b3
commit
58e457f6bd
2 files changed
+13
No files matched your search
@@ -1356,6 +1356,7 @@ public class PluginWrapper implements Comparable<PluginWrapper>, ModelObject {
|
||||
|
||||
jenkins.checkPermission(Jenkins.ADMINISTER);
|
||||
Files.deleteIfExists(Util.fileToPath(archive));
|
||||
Files.deleteIfExists(Util.fileToPath(disableFile));
|
||||
|
||||
// Redo who depends on who.
|
||||
jenkins.getPluginManager().resolveDependentPlugins();
|
||||
|
||||
Reference in new issue
Block a user