reiniciar nginx después de reiniciar el sistema
This commit is contained in:
parent
1d343c5609
commit
1c62f0e64c
1 changed files with 4 additions and 1 deletions
5
Makefile
5
Makefile
|
@ -61,7 +61,10 @@ node_modules: package.json
|
||||||
Gemfile.lock: Gemfile
|
Gemfile.lock: Gemfile
|
||||||
$(hainish) 'bundle install'
|
$(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
|
$(hainish) nginx
|
||||||
|
|
||||||
/tmp/webpack.pid:
|
/tmp/webpack.pid:
|
||||||
|
|
Loading…
Reference in a new issue