Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
back to plain name, to have it accepted my mysql;
authorwenzelm
Tue, 05 Nov 2019 22:06:16 +0100
changeset 71055 27a998cdc0f4
parent 71054 b64fc38327ae
child 71056 ee3c43eb79ae
back to plain name, to have it accepted my mysql;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle