phpdevshell team mailing list archive

[TitanKing <677331@xxxxxxxxxxxxxxxxxx>]

The dependency system was improved allot. Though it is still possible to
uninstall a parent dependency it will stay this way. This allows as user
to install and uninstall without a particular order. The dependent
plugin might also not be needed.

** Changed in: phpdevshell
       Status: Confirmed => Fix Committed

** Changed in: phpdevshell
    Milestone: None => 3.0.0b4

-- 
You received this bug notification because you are a member of
PHPDevShell, which is subscribed to PHPDevShell.
https://bugs.launchpad.net/bugs/677331

Title:
  uninstall plugin with dependent plugins

Status in Open Source php gui type development framework.:
  Fix Committed

Bug description:
  Create a new plugin called MyPlugin and install it, and then create and install another new plugin called AnotherPlugin that has a dependency on MyPlugin.

Now if you uninstall MyPlugin it is allowed.

I think there should be a check that prevents the uninstallation of a plugin if there are still dependent plugins installed. All dependent plugins should need to be uninstalled first.