purge.sh: Delete repo first, then user

This commit is contained in:
Tom Wiesing 2022-03-08 13:10:39 +01:00
parent 0ef02f4e7d
commit 1f71c8d4b1
No known key found for this signature in database
GPG key ID: DC1F29F2BC78AB15

View file

@ -51,11 +51,12 @@ dockerized_mysql -e "DROP USER IF EXISTS \`${MYSQL_USER}\`@\`%\`;"
dockerized_mysql -e "FLUSH PRIVILEGES;"
# Clear the GraphDB repository.
log_info " => Deleting GraphDB repository '$GRAPHDB_REPO'"
curl $GRAPHDB_AUTH_FLAGS -X DELETE http://127.0.0.1:7200/rest/repositories/$GRAPHDB_REPO/
log_info " => Deleting GraphDB user '$GRAPHDB_USER'"
curl $GRAPHDB_AUTH_FLAGS -X DELETE http://127.0.0.1:7200/rest/security/user/$GRAPHDB_USER/
log_info " => Deleting GraphDB repository '$GRAPHDB_REPO'"
curl $GRAPHDB_AUTH_FLAGS -X DELETE http://127.0.0.1:7200/rest/repositories/$GRAPHDB_REPO/
# Delete the directory
log_info " => Deleting '$INSTANCE_BASE_DIR'"