From 1c62f0e64c3a76941f24f0adec10c83d02997502 Mon Sep 17 00:00:00 2001
From: f <f@sutty.nl>
Date: Wed, 26 May 2021 19:30:21 -0300
Subject: [PATCH] =?UTF-8?q?reiniciar=20nginx=20despu=C3=A9s=20de=20reinici?=
 =?UTF-8?q?ar=20el=20sistema?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 22088fa..22cd255 100644
--- a/Makefile
+++ b/Makefile
@@ -61,7 +61,10 @@ node_modules: package.json
 Gemfile.lock: Gemfile
 	$(hainish) 'bundle install'
 
-$(hain)/run/nginx/nginx.pid:
+# XXX: Cada vez que se reinicia el sistema, cambia la fecha de creación
+# del pid 1 y lo usamos como medida para saber si hay que iniciar nginx.
+# Si nginx se cae después de iniciarlo, no vamos a reiniciarlo así.
+$(hain)/run/nginx/nginx.pid: /proc/1
 	$(hainish) nginx
 
 /tmp/webpack.pid: