src/Pure/Tools/phabricator.scala
changeset 79518 ad27859952cb
parent 79517 0856026e2c88
child 79519 557f00504bb6
equal deleted inserted replaced
79517:0856026e2c88 79518:ad27859952cb
    86     override def packages(): List[String] = List("nginx", "php-fpm")
    86     override def packages(): List[String] = List("nginx", "php-fpm")
    87 
    87 
    88     override def site_init(name: String, server_name: String, webroot: String): Unit = {
    88     override def site_init(name: String, server_name: String, webroot: String): Unit = {
    89       File.write(site_conf(name),
    89       File.write(site_conf(name),
    90 """server {
    90 """server {
       
    91   listen 80;
       
    92   listen [::]:80;
       
    93 
    91   server_name """ + server_name + """;
    94   server_name """ + server_name + """;
    92   root """ + webroot + """;
    95   root """ + webroot + """;
    93 
    96 
    94   location / {
    97   location / {
    95     index index.php;
    98     index index.php;