Copy generated files and compile bytecode files in cgi

diff --git a/update b/update
index 1b9b51822abc9f224b8ab7b50eedef592453b357..4f62f6407b123ad8a710bab2861a3d3160296499 100755 (executable)
--- a/update
+++ b/update
@@ -28,6 +28,11 @@ rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
 rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
 
 cgi="`git config --get --path remote.cgi.url`" &&
 rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
 
 cgi="`git config --get --path remote.cgi.url`" &&

-[ -n "$cgi" ] && cd "$cgi" && git pull origin &&
+if [ -n "$cgi" ]; then
+   umask 022 && cd "$cgi" && git pull origin &&
+   rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
+              "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
+   compyleall
+fi &&

 
 cd "$current" && exec git pull origin
 
 cd "$current" && exec git pull origin