commit 1ce35c7e2258692b86f0cda5f2af7e48cec27201
parent d681e2b0b50079389093ddc8dc347ea742bf57a2
Author: Jan Dankert <devnull@localhost>
Date: Thu, 29 Dec 2016 21:56:12 +0100
Nach dem Veröffentlichen den Dateinamen in die Logdatei schreiben.
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/util/Publish.class.php b/util/Publish.class.php
@@ -218,7 +218,9 @@ class Publish
return; // Fehler beim Kopieren, also abbrechen.
}
if ( ! is_null($lastChangeDate) )
- touch( $dest,$lastChangeDate );
+ @touch( $dest,$lastChangeDate );
+
+ Logger::debug("published: $dest");
}
if (!empty($conf['security']['chmod']))