diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-05-25 18:30:47 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-05-25 18:30:47 (EDT) |
| commit | becc6251f393d623679cb9fdb4370049fbb385dc (patch) | |
| tree | 28b528c81d1cdcd52066402a74fe9cb71474229f | |
| parent | ffa222f56097ea9c4b8c470ba3ef389c1d21ff84 (diff) | |
get_conf(): Add "conf_gzip" variable
| -rw-r--r-- | src/pro-archman.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pro-archman.sh b/src/pro-archman.sh index 0725ffd..0cd34e9 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -38,6 +38,7 @@ conf_incoming_channel= conf_incoming_dir= conf_pool_gc_delay= conf_verbose= +conf_gzip= lock= exit_status= @@ -175,6 +176,7 @@ get_conf() conf_incoming_dir='../incoming' conf_pool_gc_delay=86400 conf_verbose=false + conf_gzip=true if [ -f "${base_dir}/conf" ]; then . "${base_dir}/conf" |