Use log() not echo() to get timestamps

diff --git a/config/debian/cron.dinstall b/config/debian/cron.dinstall
index 8aaaa648c4939d4479d4fdbc400df08876011a75..07e9b0d5671566f84e22ec36c19fb658f8397c3a 100755 (executable)
--- 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"