| ... | ... |
@@ -1771,6 +1771,9 @@ function enable_plugin {
|
| 1771 | 1771 |
local name=$1 |
| 1772 | 1772 |
local url=$2 |
| 1773 | 1773 |
local branch=${3:-master}
|
| 1774 |
+ if [[ ",${DEVSTACK_PLUGINS}," =~ ,${name}, ]]; then
|
|
| 1775 |
+ die $LINENO "Plugin attempted to be enabled twice: ${name} ${url} ${branch}"
|
|
| 1776 |
+ fi |
|
| 1774 | 1777 |
DEVSTACK_PLUGINS+=",$name" |
| 1775 | 1778 |
GITREPO[$name]=$url |
| 1776 | 1779 |
GITDIR[$name]=$DEST/$name |