etc/options
changeset 71067 67cbf2e52785
parent 71049 f4b9dd5ab0cc
child 71068 510b89906d86
equal deleted inserted replaced
71066:114db2b5a5f8 71067:67cbf2e52785
   349 option phabricator_www_root : string = "/var/www"
   349 option phabricator_www_root : string = "/var/www"
   350 
   350 
   351 option phabricator_mysql_config : string = "/etc/mysql/debian.cnf"
   351 option phabricator_mysql_config : string = "/etc/mysql/debian.cnf"
   352 option phabricator_apache_root : string = "/etc/apache2"
   352 option phabricator_apache_root : string = "/etc/apache2"
   353 
   353 
   354 option phabricator_smtp_host : string = ""
       
   355 option phabricator_smtp_port : int = 465
       
   356 option phabricator_smtp_user : string = ""
       
   357 option phabricator_smtp_passwd : string = ""
       
   358 option phabricator_smtp_protocol : string = "ssl"
       
   359 option phabricator_smtp_message_id : bool = true
       
   360 
       
   361 
   354 
   362 section "Isabelle/Scala/ML system channel"
   355 section "Isabelle/Scala/ML system channel"
   363 
   356 
   364 option system_channel_address : string = ""
   357 option system_channel_address : string = ""
   365 option system_channel_password : string = ""
   358 option system_channel_password : string = ""