# HG changeset patch
# User wenzelm
# Date 1581521423 -3600
# Node ID 760e19aa9b0971e6667ae9c860644aed4255f128
# Parent  22158ebde77f241295ba06dc35a74b8bc350976f
afford more logging (following defaults on Ubuntu);

diff -r 22158ebde77f -r 760e19aa9b09 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Feb 11 17:03:14 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Feb 12 16:30:23 2020 +0100
@@ -461,6 +461,8 @@
     DocumentRoot """ + config.home.implode + """/webroot
 
     ErrorLog ${APACHE_LOG_DIR}/error.log
+    CustomLog ${APACHE_LOG_DIR}/access.log combined
+
     RewriteEngine on
     RewriteRule ^(.*)$  /index.php?__path__=$1  [B,L,QSA]
 </VirtualHost>