# HG changeset patch
# User wenzelm
# Date 1706018572 -3600
# Node ID ad27859952cb2484d7185927aa8249b9fb30e44b
# Parent  0856026e2c88b092ee945e5f1475e6a4d3d00afc
more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";

diff -r 0856026e2c88 -r ad27859952cb src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 12:28:35 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 15:02:52 2024 +0100
@@ -88,6 +88,9 @@
     override def site_init(name: String, server_name: String, webroot: String): Unit = {
       File.write(site_conf(name),
 """server {
+  listen 80;
+  listen [::]:80;
+
   server_name """ + server_name + """;
   root """ + webroot + """;