# HG changeset patch
# User Charlie Root
# Date 1560077239 14400
# Node ID 7f90ac957713ac5eb117a6f42907b90b1f9ee623
# Parent  5f772caee9a71781349e9c67a69575b066f4235f
necessary when included inside a function

diff -r 5f772caee9a7 -r 7f90ac957713 dlog.php
--- a/dlog.php	Fri Jun 07 16:36:06 2019 -0400
+++ b/dlog.php	Sun Jun 09 06:47:19 2019 -0400
@@ -1,4 +1,5 @@
 <?php
+global $logfile;
 if (isset($_SERVER['DOCUMENT_ROOT'])) {
   $logfile=$_SERVER['DOCUMENT_ROOT']."/debug/debug.log";
 }