# HG changeset patch
# User wenzelm
# Date 1573120053 -3600
# Node ID 79b89278b8252b84e4b6e88f834bfb4788a693a5
# Parent  9314a4cc84eabc865bb1dc947a9215ab3763eb72
clarified permissions;

diff -r 9314a4cc84ea -r 79b89278b825 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Wed Nov 06 23:25:11 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:47:33 2019 +0100
@@ -333,15 +333,6 @@
 """)
 
 
-    /* mail configuration */
-
-    val mail_config = config.home + mailers_path
-
-    progress.echo("Template for mail configuration: " + mail_config)
-
-    File.write(mail_config, mailers_template)
-
-
     progress.echo("\nDONE\nWeb configuration via " + server_url)
   }
 
@@ -422,7 +413,10 @@
     }
 
     if (config_file.isEmpty) {
-      if (!default_config_file.is_file) File.write(default_config_file, mailers_template)
+      if (!default_config_file.is_file) {
+        File.write(default_config_file, mailers_template)
+        Isabelle_System.bash("chmod 600 " + File.bash_path(default_config_file)).check
+      }
       if (File.read(default_config_file) == mailers_template) {
         progress.echo(
           "Please invoke the tool again, after providing details in\n  " + default_config_file)