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.
This commit is contained in:
parent
ab69d9ac86
commit
4a4dd5d89d
|
@ -1,5 +1,5 @@
|
||||||
;;; GNU Guix --- Functional package management for GNU
|
;;; 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.
|
;;; This file is part of GNU Guix.
|
||||||
;;;
|
;;;
|
||||||
|
@ -232,13 +232,7 @@ stopped before 'kill' is called."
|
||||||
|
|
||||||
(define lset= (@ (srfi srfi-1) lset=))
|
(define lset= (@ (srfi srfi-1) lset=))
|
||||||
|
|
||||||
;; When this happens, all the processes have been
|
(display "sending all processes the TERM signal\n")
|
||||||
;; 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)))
|
|
||||||
|
|
||||||
(if (null? omitted-pids)
|
(if (null? omitted-pids)
|
||||||
(begin
|
(begin
|
||||||
|
|
Loading…
Reference in New Issue