diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-07-28 11:46:36 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-07-28 11:46:36 (EDT) |
| commit | ff9bb06e3044311aa16f3a34fdb09b4e53a3c6f5 (patch) | |
| tree | 441ea2abdd25d0e3836d664cc5e7de88cccfce92 | |
| parent | 1ef364d00e7f799e95a76f435dfd7976091da418 (diff) | |
get_conf(): Make conf file optional.
| -rw-r--r-- | src/pro-archman.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/pro-archman.sh b/src/pro-archman.sh index 8756b2d..38e7941 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -136,7 +136,9 @@ get_conf() conf_incoming_dir='../incoming' conf_pool_gc_delay=86400 - . "${opt_base_dir}/conf" + if [ -f "${opt_base_dir}/conf" ]; then + . "${opt_base_dir}/conf" + fi conf_incoming_dir="$(cd "${opt_base_dir}" && \ cd "${conf_incoming_dir}" && pwd)" |