Dropdb has a handy argument for conditionally dropping a database

2020-01-16 11:52:18 -05:00 · 2020-01-16 11:52:18 -05:00 · b059605b37
commit b059605b37
parent d595ef60d3
1 changed files with 1 additions and 3 deletions
--- a/script/include/helper_functions.inc.sh
+++ b/script/include/helper_functions.inc.sh
@ -40,9 +40,7 @@ reset_db() {
  local database_name="${1}"

  # If the DB exists, drop it
-  set +e
-  dropdb "${database_name}"
-  set -e
+  dropdb --if-exists "${database_name}"

  # Create a fresh DB
  createdb "${database_name}"