commit ddd6314fe7617b97826587823bccb87a84f87554
author Christopher Guindon <chris.guindon@eclipse-foundation.org> Fri Sep 13 14:57:37 2024 -0400
committer Christopher Guindon <chris.guindon@eclipse-foundation.org> Fri Sep 13 14:57:37 2024 -0400
tree 24ddbe33b7323909ffdde5b7a931033461dae4cc
parent e394b7d659357da15f94f5c077e5d2947f1bf249

switch to error_log()

Signed-off-by: Christopher Guindon <chris.guindon@eclipse-foundation.org>

download.php

diff --git a/download.php b/download.php
index aafc629..1dd8d39 100755
--- a/download.php
+++ b/download.php
@@ -691,10 +691,10 @@
     global $app, $dbc_RW, $dbh_RW, $filetime, $filesize, $_debug;
 
     if ($_debug == 1) {
-      echo '<br />---<br />Adding file to index: addFileToIndex()<br />';
-      echo 'File ($in_file): ' . var_export($in_file, TRUE) . '<br />';
-      echo 'Filetime ($filetime): ' . var_export($filetime, TRUE) . '<br />';
-      echo 'Filesize ($filesize): ' . var_export($filesize, TRUE) . '<br />';
+      error_log('Adding file to index: addFileToIndex()');
+      error_log('File ($in_file): ' . var_export($in_file, TRUE));
+      error_log('Filetime ($filetime): ' . var_export($filetime, TRUE));
+      error_log('Filesize ($filesize): ' . var_export($filesize, TRUE));
     }
 
     # Add this file to the file index
@@ -705,8 +705,7 @@
       $inserted_id = mysqli_insert_id($dbh_RW);
       mysqli_query($dbh_RW, "UNLOCK TABLES");
       if ($_debug == 1) {
-        echo 'Inserted ID ($inserted_id): ' . var_export($inserted_id, TRUE) . '<br />';
-        echo '---<br />';
+        error_log('Inserted ID ($inserted_id): ' . var_export($inserted_id, TRUE));
       }
       return $inserted_id;
     }