From 1f71c8d4b16ae982dbc796c22e26fc4a42536df7 Mon Sep 17 00:00:00 2001 From: Tom Wiesing Date: Tue, 8 Mar 2022 13:10:39 +0100 Subject: [PATCH] purge.sh: Delete repo first, then user --- distillery/purge.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/distillery/purge.sh b/distillery/purge.sh index b0252ad..8d9c3e9 100755 --- a/distillery/purge.sh +++ b/distillery/purge.sh @@ -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'"