equal
deleted
inserted
replaced
294 |
294 |
295 progress.echo("PHP daemon setup...") |
295 progress.echo("PHP daemon setup...") |
296 |
296 |
297 config.execute("config set phd.user " + Bash.string(daemon_user)) |
297 config.execute("config set phd.user " + Bash.string(daemon_user)) |
298 |
298 |
299 Linux.service_install(isabelle_phabricator_name(), |
299 Linux.service_install(isabelle_phabricator_name(name = name), |
300 """[Unit] |
300 """[Unit] |
301 Description=PHP daemon for Isabelle/Phabricator """ + quote(name) + """ |
301 Description=PHP daemon for Isabelle/Phabricator """ + quote(name) + """ |
302 After=syslog.target network.target apache2.service mysql.service |
302 After=syslog.target network.target apache2.service mysql.service |
303 |
303 |
304 [Service] |
304 [Service] |