--- a/src/Pure/Tools/phabricator.scala Fri Oct 30 22:56:15 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala Fri Oct 30 23:43:08 2020 +0100
@@ -372,7 +372,8 @@
"""CREATE USER """ + mysql_user_string +
""" IDENTIFIED BY """ + SQL.string(mysql_password) + """ PASSWORD EXPIRE NEVER; """ +
"""GRANT ALL ON `""" + (mysql_name + "_%").replace("_", "\\_") +
- """`.* TO """ + mysql_user_string + ";")).check
+ """`.* TO """ + mysql_user_string + ";" +
+ """GRANT PROCESS ON *.* TO """ + mysql_user_string + ";")).check
config.execute("config set mysql.user " + Bash.string(mysql_name))
config.execute("config set mysql.pass " + Bash.string(mysql_password))