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.
tuned PHP setup;
authorwenzelm
Thu, 14 Nov 2019 16:22:04 +0100
changeset 71129 557703db74c3
parent 71128 f79006c533b0
child 71130 3e61534e804e
tuned PHP setup;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 16:07:34 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 16:22:04 2019 +0100
@@ -316,7 +316,8 @@
     File.write(php_conf,
       "post_max_size = 32M\n" +
       "opcache.validate_timestamps = 0\n" +
-      "memory_limit = 512M\n")
+      "memory_limit = 512M\n" +
+      "max_execution_time = 120\n")
 
 
     /* Apache setup */
isabelle