back to plain name, to have it accepted my mysql;
authorwenzelm
Tue, 05 Nov 2019 22:06:16 +0100
changeset 71253 27a998cdc0f4
parent 71252 b64fc38327ae
child 71254 ee3c43eb79ae
back to plain name, to have it accepted my mysql;
src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:00:29 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:06:16 2019 +0100
@@ -192,7 +192,7 @@
 
     progress.echo("MySQL setup...")
 
-    File.write(Path.explode("/etc/mysql/mysql.conf.d/" + isabelle_phabricator_name(ext = "cnf")),
+    File.write(Path.explode("/etc/mysql/mysql.conf.d/" + phabricator_name(ext = "cnf")),
 """[mysqld]
 max_allowed_packet = 32M
 innodb_buffer_pool_size = 1600M