More standard date format
authorPeter Eisentraut <peter_e@gmx.net>
Mon, 19 Jan 2009 15:44:39 +0000 (15:44 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Mon, 19 Jan 2009 15:44:39 +0000 (15:44 +0000)
wwwtools/update-nls-www

index b00a672c5d63fdbfbf86c10a28150016014d41f7..0986f52a0c080de4c0af8a73ba0dad29545c1e90 100755 (executable)
@@ -4,7 +4,7 @@ shopt -s nullglob
 echo "================="
 echo "NLS update starts"
 echo "================="
-date -u
+date -u +%FT%T
 
 me=$(basename $0)
 
@@ -70,4 +70,4 @@ for branch in $active_branches; do
        rsync -l -r --delete --delete-excluded --exclude='table-*.html' $WEBDIR/ ~/htdocs/
 done
 
-date
+date -u +%FT%T