From f78bd8701c00ed40424df8cb9ca643f12319eea8 Mon Sep 17 00:00:00 2001
From: Joerg Jaspert <joerg@debian.org>
Date: Fri, 18 Dec 2015 22:25:49 +0100
Subject: [PATCH] Use log() not echo() to get timestamps
---
config/debian/cron.dinstall | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config/debian/cron.dinstall b/config/debian/cron.dinstall
index 8aaaa648..07e9b0d5 100755
--- a/config/debian/cron.dinstall
+++ b/config/debian/cron.dinstall
@@ -134,7 +134,7 @@ function stage() {
cat "${STAGEFILE}.log" >> "${LOGFILE}"
rm -f "${STAGEFILE}.log"
- echo "########## DINSTALL END: ${FUNC} ##########"
+ log "########## DINSTALL END: ${FUNC} ##########"
if [ -f "${LOCK_STOP}" ]; then
log "${LOCK_STOP} exists, exiting immediately"
--
2.39.5