Bug 4423: adding stdio: prefix to cache_log directive produces FATAL error

diff --git a/src/debug.cc b/src/debug.cc
index 81207deed4e1c3800fdaea0627d300e01a261556..7ee6e62d64694a2a064e87fe60e8bd4d989bba38 100644 (file)
--- a/src/debug.cc
+++ b/src/debug.cc
@@ -222,7 +222,14 @@ debugOpenLog(const char *logfile)
     if (debug_log && debug_log != stderr)
         fclose(debug_log);
 
-    debug_log = fopen(logfile, "a+");
+    // Bug 4423: ignore the stdio: logging module name if present
+    const char *logfilename;
+    if (strncmp(logfile, "stdio:",6) == 0)
+        logfilename = logfile + 6;
+    else
+        logfilename = logfile;
+
+    debug_log = fopen(logfilename, "a+");
 
     if (!debug_log) {
         fprintf(stderr, "WARNING: Cannot write log file: %s\n", logfile);