author | wenzelm |
Wed, 06 Nov 2019 22:51:54 +0100 | |
changeset 71066 | 114db2b5a5f8 |
parent 71058 | 6ca9e8377613 |
child 71068 | 510b89906d86 |
permissions | -rw-r--r-- |
70967 | 1 |
/* Title: Pure/Tools/phabricator.scala |
2 |
Author: Makarius |
|
3 |
||
4 |
Support for Phabricator server. See also: |
|
5 |
- https://www.phacility.com/phabricator |
|
6 |
- https://secure.phabricator.com/book/phabricator |
|
7 |
*/ |
|
8 |
||
9 |
package isabelle |
|
10 |
||
11 |
||
70969 | 12 |
import scala.util.matching.Regex |
13 |
||
14 |
||
70967 | 15 |
object Phabricator |
16 |
{ |
|
17 |
/** defaults **/ |
|
18 |
||
71049 | 19 |
/* required packages */ |
20 |
||
21 |
val packages: List[String] = |
|
22 |
Build_Docker.packages ::: |
|
23 |
List( |
|
24 |
// https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61 |
|
25 |
"git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql", |
|
26 |
"php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring", |
|
27 |
// more packages |
|
28 |
"php-zip", "python-pygments", "ssh") |
|
29 |
||
30 |
||
31 |
/* global system resources */ |
|
32 |
||
33 |
val daemon_user = "phabricator" |
|
34 |
||
35 |
val ssh_standard = 22 |
|
36 |
val ssh_alternative1 = 222 |
|
37 |
val ssh_alternative2 = 2222 |
|
38 |
||
39 |
||
40 |
/* installation parameters */ |
|
41 |
||
70967 | 42 |
val default_name = "vcs" |
43 |
||
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
44 |
def phabricator_name(name: String = "", ext: String = ""): String = |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
45 |
"phabricator" + (if (name.isEmpty) "" else "-" + name) + (if (ext.isEmpty) "" else "." + ext) |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
46 |
|
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
47 |
def isabelle_phabricator_name(name: String = "", ext: String = ""): String = |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
48 |
"isabelle-" + phabricator_name(name = name, ext = ext) |
70967 | 49 |
|
50 |
def default_root(options: Options, name: String): Path = |
|
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
51 |
Path.explode(options.string("phabricator_www_root")) + |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
52 |
Path.basic(phabricator_name(name = name)) |
70967 | 53 |
|
54 |
def default_repo(options: Options, name: String): Path = |
|
55 |
default_root(options, name) + Path.basic("repo") |
|
56 |
||
71066 | 57 |
val mailers_path: Path = Path.explode("mailers.json") |
58 |
||
59 |
val mailers_template: String = |
|
60 |
"""[ |
|
61 |
{ |
|
62 |
"key": "example.org", |
|
63 |
"type": "smtp", |
|
64 |
"options": { |
|
65 |
"host": "mail.example.org", |
|
66 |
"port": 465, |
|
67 |
"user": "phabricator@example.org", |
|
68 |
"password": "********", |
|
69 |
"protocol": "ssl", |
|
70 |
"message-id": true |
|
71 |
} |
|
72 |
} |
|
73 |
]""" |
|
74 |
||
70967 | 75 |
|
76 |
||
77 |
/** global configuration **/ |
|
78 |
||
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
79 |
val global_config = Path.explode("/etc/" + isabelle_phabricator_name(ext = "conf")) |
70967 | 80 |
|
81 |
sealed case class Config(name: String, root: Path) |
|
70968 | 82 |
{ |
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
83 |
def home: Path = root + Path.explode(phabricator_name()) |
70969 | 84 |
|
85 |
def execute(command: String): Process_Result = |
|
86 |
Isabelle_System.bash("./bin/" + command, cwd = home.file).check |
|
70968 | 87 |
} |
70967 | 88 |
|
89 |
def read_config(): List[Config] = |
|
90 |
{ |
|
91 |
if (global_config.is_file) { |
|
92 |
for (entry <- Library.trim_split_lines(File.read(global_config)) if entry.nonEmpty) |
|
93 |
yield { |
|
94 |
space_explode(':', entry) match { |
|
95 |
case List(name, root) => Config(name, Path.explode(root)) |
|
96 |
case _ => error("Malformed config file " + global_config + "\nentry " + quote(entry)) |
|
97 |
} |
|
98 |
} |
|
99 |
} |
|
100 |
else Nil |
|
101 |
} |
|
102 |
||
103 |
def write_config(configs: List[Config]) |
|
104 |
{ |
|
105 |
File.write(global_config, |
|
106 |
configs.map(config => config.name + ":" + config.root.implode).mkString("", "\n", "\n")) |
|
107 |
} |
|
108 |
||
109 |
def get_config(name: String): Config = |
|
110 |
read_config().find(config => config.name == name) getOrElse |
|
111 |
error("Bad Isabelle/Phabricator installation " + quote(name)) |
|
112 |
||
113 |
||
114 |
||
115 |
/** setup **/ |
|
116 |
||
71049 | 117 |
def user_setup(name: String, description: String, ssh_setup: Boolean = false) |
118 |
{ |
|
119 |
if (!Linux.user_exists(name)) { |
|
71054
b64fc38327ae
prefer system user setup, e.g. avoid occurrence on login screen;
wenzelm
parents:
71053
diff
changeset
|
120 |
Linux.user_add(name, description = description, system = true, ssh_setup = ssh_setup) |
71049 | 121 |
} |
122 |
else if (Linux.user_description(name) != description) { |
|
123 |
error("User " + quote(name) + " already exists --" + |
|
124 |
" for Phabricator it should have the description:\n " + quote(description)) |
|
125 |
} |
|
126 |
} |
|
127 |
||
70967 | 128 |
def phabricator_setup( |
129 |
options: Options, |
|
130 |
name: String = default_name, |
|
131 |
root: String = "", |
|
132 |
repo: String = "", |
|
71047 | 133 |
package_update: Boolean = false, |
70967 | 134 |
progress: Progress = No_Progress) |
135 |
{ |
|
136 |
/* system environment */ |
|
137 |
||
138 |
Linux.check_system_root() |
|
139 |
||
71047 | 140 |
if (package_update) { |
141 |
Linux.package_update(progress = progress) |
|
142 |
Linux.check_reboot_required() |
|
143 |
} |
|
70967 | 144 |
|
145 |
Linux.package_install(packages, progress = progress) |
|
146 |
Linux.check_reboot_required() |
|
147 |
||
148 |
||
71049 | 149 |
/* users */ |
150 |
||
151 |
if (name == daemon_user) { |
|
152 |
error("Clash of installation name with daemon user " + quote(daemon_user)) |
|
153 |
} |
|
154 |
||
155 |
user_setup(daemon_user, "Phabricator Daemon User", ssh_setup = true) |
|
156 |
user_setup(name, "Phabricator SSH User") |
|
157 |
||
158 |
val www_user = options.string("phabricator_www_user") |
|
159 |
||
160 |
||
70967 | 161 |
/* basic installation */ |
162 |
||
163 |
val root_path = if (root.nonEmpty) Path.explode(root) else default_root(options, name) |
|
164 |
val repo_path = if (repo.nonEmpty) Path.explode(repo) else default_repo(options, name) |
|
165 |
||
166 |
val configs = read_config() |
|
167 |
||
168 |
for (config <- configs if config.name == name) { |
|
169 |
error("Duplicate Phabricator installation " + quote(name) + " in " + config.root) |
|
170 |
} |
|
171 |
||
172 |
if (!Isabelle_System.bash("mkdir -p " + File.bash_path(root_path)).ok) { |
|
173 |
error("Failed to create root directory " + root_path) |
|
174 |
} |
|
175 |
||
176 |
progress.bash(cwd = root_path.file, echo = true, |
|
177 |
script = """ |
|
178 |
set -e |
|
71050 | 179 |
chown """ + Bash.string(www_user) + ":" + Bash.string(www_user) + """ . |
70967 | 180 |
chmod 755 . |
181 |
||
182 |
git clone https://github.com/phacility/libphutil.git |
|
183 |
git clone https://github.com/phacility/arcanist.git |
|
184 |
git clone https://github.com/phacility/phabricator.git |
|
185 |
""").check |
|
186 |
||
187 |
val config = Config(name, root_path) |
|
188 |
write_config(configs ::: List(config)) |
|
70968 | 189 |
|
71051 | 190 |
config.execute("config set pygments.enabled true") |
191 |
||
70968 | 192 |
|
71050 | 193 |
/* local repository directory */ |
194 |
||
195 |
if (!Isabelle_System.bash("mkdir -p " + File.bash_path(repo_path)).ok) { |
|
196 |
error("Failed to create local repository directory " + repo_path) |
|
197 |
} |
|
198 |
||
199 |
Isabelle_System.bash(cwd = repo_path.file, |
|
200 |
script = """ |
|
201 |
set -e |
|
202 |
chown -R """ + Bash.string(daemon_user) + ":" + Bash.string(daemon_user) + """ . |
|
203 |
chmod 755 . |
|
204 |
""").check |
|
205 |
||
206 |
config.execute("config set repository.default-local-path " + File.bash_path(repo_path)) |
|
207 |
||
208 |
||
70969 | 209 |
/* MySQL setup */ |
210 |
||
211 |
progress.echo("MySQL setup...") |
|
212 |
||
71055
27a998cdc0f4
back to plain name, to have it accepted my mysql;
wenzelm
parents:
71054
diff
changeset
|
213 |
File.write(Path.explode("/etc/mysql/mysql.conf.d/" + phabricator_name(ext = "cnf")), |
71051 | 214 |
"""[mysqld] |
215 |
max_allowed_packet = 32M |
|
216 |
innodb_buffer_pool_size = 1600M |
|
217 |
local_infile = 0 |
|
218 |
""") |
|
219 |
||
220 |
Linux.service_restart("mysql") |
|
221 |
||
222 |
||
70969 | 223 |
def mysql_conf(R: Regex): Option[String] = |
224 |
split_lines(File.read(Path.explode(options.string("phabricator_mysql_config")))). |
|
225 |
collectFirst({ case R(a) => a }) |
|
226 |
||
227 |
for (user <- mysql_conf("""^user\s*=\s*(\S*)\s*$""".r)) { |
|
228 |
config.execute("config set mysql.user " + Bash.string(user)) |
|
229 |
} |
|
230 |
||
231 |
for (pass <- mysql_conf("""^password\s*=\s*(\S*)\s*$""".r)) { |
|
232 |
config.execute("config set mysql.pass " + Bash.string(pass)) |
|
233 |
} |
|
234 |
||
235 |
config.execute("config set storage.default-namespace " + |
|
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
236 |
Bash.string(phabricator_name(name = name).replace("-", "_"))) |
70969 | 237 |
|
71051 | 238 |
config.execute("config set storage.mysql-engine.max-size 8388608") |
239 |
||
70969 | 240 |
config.execute("storage upgrade --force") |
241 |
||
242 |
||
71049 | 243 |
/* SSH hosting */ |
244 |
||
245 |
progress.echo("SSH hosting setup...") |
|
246 |
||
247 |
val ssh_port = ssh_alternative2 |
|
248 |
||
249 |
config.execute("config set diffusion.ssh-user " + Bash.string(name)) |
|
250 |
config.execute("config set diffusion.ssh-port " + ssh_port) |
|
251 |
||
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
252 |
val sudoers_file = Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name()) |
71049 | 253 |
File.write(sudoers_file, |
254 |
www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" + |
|
255 |
name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n") |
|
256 |
||
257 |
Isabelle_System.bash("chmod 0440 " + File.bash_path(sudoers_file)).check |
|
258 |
||
259 |
||
71051 | 260 |
/* PHP setup */ |
261 |
||
262 |
val php_version = |
|
263 |
Isabelle_System.bash("""php --run 'echo PHP_MAJOR_VERSION . "." . PHP_MINOR_VERSION;'""") |
|
264 |
.check.out |
|
265 |
||
266 |
val php_conf = |
|
267 |
Path.explode("/etc/php") + Path.basic(php_version) + // educated guess |
|
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
268 |
Path.explode("apache2/conf.d") + |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
269 |
Path.basic(isabelle_phabricator_name(ext = "ini")) |
71051 | 270 |
|
271 |
File.write(php_conf, |
|
272 |
"post_max_size = 32M\n" + |
|
273 |
"opcache.validate_timestamps = 0\n" + |
|
274 |
"memory_limit = 512M\n") |
|
275 |
||
276 |
||
70968 | 277 |
/* Apache setup */ |
278 |
||
279 |
progress.echo("Apache setup...") |
|
280 |
||
281 |
val apache_root = Path.explode(options.string("phabricator_apache_root")) |
|
282 |
val apache_sites = apache_root + Path.explode("sites-available") |
|
283 |
||
284 |
if (!apache_sites.is_dir) error("Bad Apache sites directory " + apache_sites) |
|
285 |
||
71058 | 286 |
val server_name = phabricator_name(name = name, ext = "lvh.me") // alias for "localhost" for testing |
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
287 |
val server_url = "http://" + server_name |
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
288 |
|
71058 | 289 |
File.write(apache_sites + Path.basic(isabelle_phabricator_name(name = name, ext = "conf")), |
70968 | 290 |
"""<VirtualHost *:80> |
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
291 |
ServerName """ + server_name + """ |
70968 | 292 |
ServerAdmin webmaster@localhost |
70969 | 293 |
DocumentRoot """ + config.home.implode + """/webroot |
70968 | 294 |
|
295 |
ErrorLog ${APACHE_LOG_DIR}/error.log |
|
296 |
RewriteEngine on |
|
297 |
RewriteRule ^(.*)$ /index.php?__path__=$1 [B,L,QSA] |
|
298 |
</VirtualHost> |
|
299 |
||
300 |
# vim: syntax=apache ts=4 sw=4 sts=4 sr noet |
|
301 |
""") |
|
302 |
||
71051 | 303 |
Isabelle_System.bash( """ |
70968 | 304 |
set -e |
305 |
a2enmod rewrite |
|
71058 | 306 |
a2ensite """ + Bash.string(isabelle_phabricator_name(name = name))).check |
71051 | 307 |
|
71057 | 308 |
config.execute("config set phabricator.base-uri " + Bash.string(server_url)) |
309 |
||
71051 | 310 |
Linux.service_restart("apache2") |
70968 | 311 |
|
71053 | 312 |
|
313 |
/* PHP daemon */ |
|
314 |
||
315 |
progress.echo("PHP daemon setup...") |
|
316 |
||
317 |
config.execute("config set phd.user " + Bash.string(daemon_user)) |
|
318 |
||
71056
ee3c43eb79ae
proper service name (again): it is specific to each installation;
wenzelm
parents:
71055
diff
changeset
|
319 |
Linux.service_install(isabelle_phabricator_name(name = name), |
71053 | 320 |
"""[Unit] |
321 |
Description=PHP daemon for Isabelle/Phabricator """ + quote(name) + """ |
|
322 |
After=syslog.target network.target apache2.service mysql.service |
|
323 |
||
324 |
[Service] |
|
325 |
Type=oneshot |
|
326 |
User=""" + daemon_user + """ |
|
327 |
Group=""" + daemon_user + """ |
|
328 |
Environment=PATH=/sbin:/usr/sbin:/usr/local/sbin:/usr/local/bin:/usr/bin:/bin |
|
329 |
ExecStart=""" + config.home.implode + """/bin/phd start |
|
330 |
ExecStop=""" + config.home.implode + """/bin/phd stop |
|
331 |
RemainAfterExit=yes |
|
332 |
||
333 |
[Install] |
|
334 |
WantedBy=multi-user.target |
|
335 |
""") |
|
336 |
||
337 |
||
71066 | 338 |
/* mail configuration */ |
339 |
||
340 |
val mail_config = config.home + mailers_path |
|
341 |
||
342 |
progress.echo("Template for mail configuration: " + mail_config) |
|
343 |
||
344 |
File.write(mail_config, mailers_template) |
|
345 |
||
346 |
||
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
347 |
progress.echo("\nDONE\nWeb configuration via " + server_url) |
70967 | 348 |
} |
349 |
||
350 |
||
351 |
/* Isabelle tool wrapper */ |
|
352 |
||
353 |
val isabelle_tool1 = |
|
354 |
Isabelle_Tool("phabricator_setup", "setup Phabricator server on Ubuntu Linux", args => |
|
355 |
{ |
|
71047 | 356 |
var repo = "" |
357 |
var package_update = false |
|
70967 | 358 |
var options = Options.init() |
359 |
var root = "" |
|
360 |
||
361 |
val getopts = |
|
362 |
Getopts(""" |
|
363 |
Usage: isabelle phabricator_setup [OPTIONS] [NAME] |
|
364 |
||
365 |
Options are: |
|
366 |
-R DIR repository directory (default: """ + default_repo(options, "NAME") + """) |
|
71047 | 367 |
-U full update of system packages before installation |
70967 | 368 |
-o OPTION override Isabelle system OPTION (via NAME=VAL or NAME) |
369 |
-r DIR installation root directory (default: """ + default_root(options, "NAME") + """) |
|
370 |
||
371 |
Install Phabricator as Ubuntu LAMP application (Linux, Apache, MySQL, PHP). |
|
372 |
||
373 |
Slogan: "Discuss. Plan. Code. Review. Test. |
|
374 |
Every application your project needs, all in one tool." |
|
375 |
||
376 |
The installation NAME (default: """ + quote(default_name) + """) is mapped to |
|
377 |
a regular Unix user and used for public SSH access. |
|
378 |
""", |
|
379 |
"R:" -> (arg => repo = arg), |
|
71047 | 380 |
"U" -> (_ => package_update = true), |
70967 | 381 |
"o:" -> (arg => options = options + arg), |
382 |
"r:" -> (arg => root = arg)) |
|
383 |
||
384 |
val more_args = getopts(args) |
|
385 |
||
386 |
val name = |
|
387 |
more_args match { |
|
388 |
case Nil => default_name |
|
389 |
case List(name) => name |
|
390 |
case _ => getopts.usage() |
|
391 |
} |
|
392 |
||
393 |
val progress = new Console_Progress |
|
394 |
||
71052
6bf53035baf0
clarified name prefixes: global config always uses "isabelle-phabricator";
wenzelm
parents:
71051
diff
changeset
|
395 |
phabricator_setup(options, name, root = root, repo = repo, |
71047 | 396 |
package_update = package_update, progress = progress) |
70967 | 397 |
}) |
398 |
||
399 |
||
400 |
||
71066 | 401 |
/** setup mail **/ |
70967 | 402 |
|
71066 | 403 |
def phabricator_setup_mail( |
404 |
name: String = default_name, |
|
405 |
config_file: Option[Path] = None, |
|
406 |
test_user: String = "", |
|
407 |
progress: Progress = No_Progress) |
|
70967 | 408 |
{ |
409 |
Linux.check_system_root() |
|
410 |
||
71066 | 411 |
val config = get_config(name) |
412 |
val default_config_file = config.home + mailers_path |
|
413 |
||
414 |
val mail_config = config_file getOrElse default_config_file |
|
415 |
||
416 |
def setup_mail |
|
417 |
{ |
|
418 |
progress.echo("Using mail configuration from " + mail_config) |
|
419 |
config.execute("config set cluster.mailers --stdin < " + File.bash_path(mail_config)) |
|
420 |
||
421 |
if (test_user.nonEmpty) { |
|
422 |
progress.echo("Sending test mail to " + quote(test_user)) |
|
423 |
progress.bash(cwd = config.home.file, echo = true, |
|
424 |
script = """echo "Test from Phabricator ($(date))" | ./bin/mail send-test --subject "Test" --to """ + |
|
425 |
Bash.string(test_user)).check |
|
426 |
} |
|
427 |
} |
|
428 |
||
429 |
if (config_file.isEmpty) { |
|
430 |
if (!default_config_file.is_file) File.write(default_config_file, mailers_template) |
|
431 |
if (File.read(default_config_file) == mailers_template) { |
|
432 |
progress.echo( |
|
433 |
"Please invoke the tool again, after providing details in\n " + default_config_file) |
|
434 |
} |
|
435 |
else setup_mail |
|
436 |
} |
|
437 |
else setup_mail |
|
70967 | 438 |
} |
439 |
||
440 |
||
441 |
/* Isabelle tool wrapper */ |
|
442 |
||
443 |
val isabelle_tool2 = |
|
71066 | 444 |
Isabelle_Tool("phabricator_setup_mail", |
445 |
"setup mail configuration for existing Phabricator server", args => |
|
70967 | 446 |
{ |
71066 | 447 |
var test_user = "" |
448 |
var name = default_name |
|
449 |
var config_file: Option[Path] = None |
|
450 |
||
70967 | 451 |
val getopts = |
452 |
Getopts(""" |
|
71066 | 453 |
Usage: isabelle phabricator_setup_mail [OPTIONS] |
454 |
||
455 |
Options are: |
|
456 |
-T USER send test mail to Phabricator user |
|
457 |
-f FILE config file (default: """ + mailers_path + """ within installation home) |
|
458 |
-n NAME Phabricator installation name (default: """ + quote(default_name) + """) |
|
70967 | 459 |
|
71066 | 460 |
Provide mail configuration for existing Phabricator installation. See also |
461 |
https://secure.phabricator.com/book/phabricator/article/configuring_outbound_email |
|
462 |
(notably section "Mailer: SMTP"). |
|
463 |
""", |
|
464 |
"T:" -> (arg => test_user = arg), |
|
465 |
"f:" -> (arg => config_file = Some(Path.explode(arg))), |
|
466 |
"n:" -> (arg => name = arg)) |
|
70967 | 467 |
|
468 |
val more_args = getopts(args) |
|
71066 | 469 |
if (more_args.nonEmpty) getopts.usage() |
70967 | 470 |
|
471 |
val progress = new Console_Progress |
|
472 |
||
71066 | 473 |
phabricator_setup_mail(name = name, config_file = config_file, |
474 |
test_user = test_user, progress = progress) |
|
70967 | 475 |
}) |
476 |
} |