# HG changeset patch
# User wenzelm
# Date 1573121406 -3600
# Node ID 70205e023cb40280204593a0149da7a11f30273d
# Parent  324c40205fc8e33ac7e73be067174c2f5cdf19f2
more messages -- expose potential database problems;

diff -r 324c40205fc8 -r 70205e023cb4 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:00:11 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:10:06 2019 +0100
@@ -219,7 +219,7 @@
 
     config.execute("config set storage.mysql-engine.max-size 8388608")
 
-    config.execute("storage upgrade --force")
+    progress.bash("./bin/storage upgrade --force", cwd = config.home.file, echo = true).check
 
 
     /* SSH hosting */