# Now we should make sure that we have a usable ${PROGRAM}.log, so
# append the $STAGEFILE.log to it.
- /usr/bin/ts "%b %d %H:%M:%S ${HOSTNAME} ${PROGRAM}[$$]: ${FUNC} " < "${STAGEFILE}.log"
+ if [[ ${TIMESTAMP} == true ]]; then
+ /usr/bin/ts "%b %d %H:%M:%S ${HOSTNAME} ${PROGRAM}[$$]: ${FUNC} " < "${STAGEFILE}.log"
+ else
+ cat "${STAGEFILE}.log"
+ fi
rm -f "${STAGEFILE}.log"
log "########## ${PROGRAM} END: ${FUNC} ##########"
# Common wget options
wgetopts="-t2 -T20 -q -N --ca-directory=/etc/ssl/ca-debian"
+
+# dinstall wants timestamps added to stage logs
+TIMESTAMP=true
LOCK_UNCHECKED="${lockdir}/unchecked.lock"
LOCK_STOP="${lockdir}/archive.stop"
+# By default, add no timestamps to stage logs
+TIMESTAMP=false
+
# And the following types of cronscripts exists
declare -lr POSSIBLEARGS='+(unchecked|dinstall|hourly|daily|weekly|monthly|yearly)'
declare -r HOSTNAME=$(hostname -s)