LIVE Upload 2019-07-09 10:08:10

diff --git a/dev/lastupload.txt b/dev/lastupload.txt
index 0ac7710..074064b 100644 (file)
--- a/dev/lastupload.txt
+++ b/dev/lastupload.txt
@@ -1 +1 @@
-138e08f - 2019-07-09 09:55:35 +0200
+b4889c4 - 2019-07-09 10:02:40 +0200

diff --git a/dev/upload_files.sh b/dev/upload_files.sh
index 0a0c090..c708981 100644 (file)
--- a/dev/upload_files.sh
+++ b/dev/upload_files.sh
@@ -11,7 +11,7 @@ FILES=(`git diff --name-only ${NUPL} ${LUPLTAG}`)
 
 for f in "${FILES[@]}"
 do
-  if [[ $f != dev/* ]] 
+  if [[ $f != dev/* ]] && [[ $f != */.ht* ]] ;
   then
     echo "UPLOADING: "$f
     #echo "scp -P ${SSHPORT} ${LOCALPATH}/$f ${SSHUSER}@${SSHHOST}:${SSHREMOTEPATH}/$f"