diff options
| author | Rob Austein <sra@hactrn.net> | 2016-02-13 17:22:14 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-02-13 17:22:14 +0000 |
| commit | 78391207d948a2a06ca223071d2c4b38513ae9d8 (patch) | |
| tree | e131d4a1c734df87e704b5c601dfeda70315184b /buildtools | |
| parent | db83816ceb92fe1fae2aad1aa83230e47fc8639d (diff) | |
Snapshot current almost-working version of rpki-sql-setup,
before whacking it in a slightly different direction.
svn path=/branches/tk705/; revision=6254
Diffstat (limited to 'buildtools')
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.postinst | 2 | ||||
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.prerm | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.postinst b/buildtools/debian-skeleton/rpki-ca.postinst index 866183af..18fef863 100644 --- a/buildtools/debian-skeleton/rpki-ca.postinst +++ b/buildtools/debian-skeleton/rpki-ca.postinst @@ -50,7 +50,7 @@ setup_rpki_conf() { setup_sql() { #rpki-sql-setup --mysql-defaults /etc/mysql/debian.cnf create - rpki-sql-setup --postgresql-root-username postgres create + rpki-sql-setup --debug --verbose --postgresql-root-username postgres create } setup_bpki() { diff --git a/buildtools/debian-skeleton/rpki-ca.prerm b/buildtools/debian-skeleton/rpki-ca.prerm index 69689870..2754ed43 100644 --- a/buildtools/debian-skeleton/rpki-ca.prerm +++ b/buildtools/debian-skeleton/rpki-ca.prerm @@ -37,7 +37,7 @@ case "$1" in # since that's where we find out whether this is a purge. #rpki-sql-setup --mysql-defaults /etc/mysql/debian.cnf script-drop /etc/rpki/drop_databases.sql - rpki-sql-setup --postgresql-root-username postgres script-drop /etc/rpki/drop_databases.sql + rpki-sql-setup --debug --verbose --postgresql-root-username postgres script-drop /etc/rpki/drop_databases.sql # Clean up our cron jobs. |