From: Patrick McCarty <pnorcks@gmail.com>
Date: Mon, 25 Oct 2010 07:32:01 +0000 (-0700)
Subject: Send ping logs to /dev/stderr instead of /dev/tty.
X-Git-Tag: release/2.13.37-1^2
X-Git-Url: https://git.donarmstrong.com/lilypond.git?a=commitdiff_plain;h=7ced4732bf95caef5e0e2007dd1baed0e40830de;p=lilypond.git

Send ping logs to /dev/stderr instead of /dev/tty.

(This fixes issue #1028)

If `-dlog-file' was not specified along with `-dseparate-log-files',
certain log messages (the "ping" log messages) were sent to /dev/tty.

However, this was causing problems for machines building LilyPond that
could not write to /dev/tty (no controlling tty).

The solution is to write to /dev/stderr instead, which is
common-practice for logging.

See the Debian bug report for details:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=572290
---

diff --git a/scm/lily.scm b/scm/lily.scm
index 68813a49d8..0a7e4d0d13 100644
--- a/scm/lily.scm
+++ b/scm/lily.scm
@@ -801,7 +801,7 @@ PIDs or the number of the process."
 	  (if separate-logs
 	      (open-file (if (string-or-symbol? (ly:get-option 'log-file))
 			     (format "~a.log" (ly:get-option 'log-file))
-			     "/dev/tty") "a") #f))
+			     "/dev/stderr") "a") #f))
 	 (do-measurements (ly:get-option 'dump-profile))
 	 (handler (lambda (key failed-file)
 		    (set! failed (append (list failed-file) failed)))))