Ran Ziv created ARIA-178:
----------------------------
Summary: Delete-plugin API
Key: ARIA-178
URL: https://issues.apache.org/jira/browse/ARIA-178
Project: AriaTosca
Issue Type: Story
Reporter: Ran Ziv
Priority: Minor
Add a delete-plugin API.
This should delete the plugin from the {{PluginManager}}, as well as from the
storage.
Deleting a plugin that is used by existing services should not be allowed.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
