src/Pure/Tools/phabricator.scala
changeset 79522 08ef19aacced
parent 79521 db2b5c04075d
child 79523 f1287f1894a0
equal deleted inserted replaced
79521:db2b5c04075d 79522:08ef19aacced
    57   sealed abstract class Webserver {
    57   sealed abstract class Webserver {
    58     override def toString: String = title
    58     override def toString: String = title
    59     def title: String
    59     def title: String
    60     def short_name: String
    60     def short_name: String
    61     def system_name: String = short_name
    61     def system_name: String = short_name
    62     def php_name: String = short_name
    62     def php_name: String = system_name
    63 
    63 
    64     def packages(): List[String]
    64     def packages(): List[String]
    65 
    65 
    66     def system_path: Path = Path.basic(system_name)
    66     def system_path: Path = Path.basic(system_name)
    67     def root_dir: Path = Path.explode("/etc") + system_path
    67     def root_dir: Path = Path.explode("/etc") + system_path