jenkins-bot has submitted this change and it was merged.
Change subject: civicrm: actually drop the user
......................................................................
civicrm: actually drop the user
Change-Id: I089cdb2c087a7eb7dc65e1020fd2af27c4a12349
---
M bin/civi-ci-drop-dbs.sh
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/civi-ci-drop-dbs.sh b/bin/civi-ci-drop-dbs.sh
index be262e2..593bef8 100755
--- a/bin/civi-ci-drop-dbs.sh
+++ b/bin/civi-ci-drop-dbs.sh
@@ -9,4 +9,5 @@
drop database if exists ${CIVICRM_SCHEMA};
REVOKE ALL PRIVILEGES, GRANT OPTION FROM
${CIVICRM_MYSQL_USERNAME}@${BUILD_HOST};
+DROP USER ${CIVICRM_MYSQL_USERNAME}@${BUILD_HOST};
EOS
--
To view, visit https://gerrit.wikimedia.org/r/151849
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I089cdb2c087a7eb7dc65e1020fd2af27c4a12349
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
