diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-01-12 22:41:05 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-01-12 23:33:08 +0100 |
commit | 4a4dd5d89dc498c714d0665909597cecdb202027 (patch) | |
tree | 50775291f4aeb13b42a972ab4f994cbd42b7f3af /gnu | |
parent | ab69d9ac864250153c1e9f4ef91622a5c3b7a9c3 (diff) | |
download | guix-4a4dd5d89dc498c714d0665909597cecdb202027.tar guix-4a4dd5d89dc498c714d0665909597cecdb202027.tar.gz |
services: user-processes: Write debugging messages to the output port.
* gnu/services/base.scm (user-processes-service): Write "sending all
processes..." message to the current output port, not to /dev/console.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/services/base.scm | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gnu/services/base.scm b/gnu/services/base.scm index 95edba6e7c..402f5991a5 100644 --- a/gnu/services/base.scm +++ b/gnu/services/base.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -232,13 +232,7 @@ stopped before 'kill' is called." (define lset= (@ (srfi srfi-1) lset=)) - ;; When this happens, all the processes have been - ;; killed, including 'deco', so DMD-OUTPUT-PORT and - ;; thus CURRENT-OUTPUT-PORT are dangling. - (call-with-output-file "/dev/console" - (lambda (port) - (display "sending all processes the TERM signal\n" - port))) + (display "sending all processes the TERM signal\n") (if (null? omitted-pids) (begin |