grgr.me

commit bcd935013d2bfa58f212ac9646356aed4374d8d6
parent c39783d2f4e0de0276fba205178546bb0e33211e
Author: corndog <cauchyn@firemail.cc>
Date:   Sat, 12 Nov 2016 23:43:41 -0800

Okay, this time for reals.

Diffstat:
Caddyfile
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/Caddyfile b/Caddyfile
@@ -1,6 +1,6 @@
 grgr.me {
   root ./out
-  startup sh -c "export CADDY_PID=$$"
+  startup sh -c "export CADDY_PID=$$ && export CADDY_COUNT=0"
   redir 303 {
     /PGP /V6eHU.txt
     /pgp /V6eHU.txt
@@ -15,7 +15,8 @@ grgr.me {
   git git@gitlab.com:corndog/grgr.me.git ../ {
     key /home/ervin/.ssh/id_dropbear
     hook /uguu
-    then sh -c "caddy && kill -USR1 $CADDY_PID"
+    then sh -c "export CADDY_COUNT=$(( CADDY_COUNT + 1 )) && \
+                test $CADDY_COUNT -ge 2 && caddy && kill -USR1 $CADDY_PID"
   }
   minify
   gzip