src/Pure/Tools/phabricator.scala
changeset 71075 70205e023cb4
parent 71074 324c40205fc8
child 71076 8ac137c65776
equal deleted inserted replaced
71074:324c40205fc8 71075:70205e023cb4
   217     config.execute("config set storage.default-namespace " +
   217     config.execute("config set storage.default-namespace " +
   218       Bash.string(phabricator_name(name = name).replace("-", "_")))
   218       Bash.string(phabricator_name(name = name).replace("-", "_")))
   219 
   219 
   220     config.execute("config set storage.mysql-engine.max-size 8388608")
   220     config.execute("config set storage.mysql-engine.max-size 8388608")
   221 
   221 
   222     config.execute("storage upgrade --force")
   222     progress.bash("./bin/storage upgrade --force", cwd = config.home.file, echo = true).check
   223 
   223 
   224 
   224 
   225     /* SSH hosting */
   225     /* SSH hosting */
   226 
   226 
   227     progress.echo("SSH hosting setup...")
   227     progress.echo("SSH hosting setup...")