diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/installer/final.scm | 4 | 
1 files changed, 3 insertions, 1 deletions
| diff --git a/gnu/installer/final.scm b/gnu/installer/final.scm index 4c2da484c9..ece1aff95c 100644 --- a/gnu/installer/final.scm +++ b/gnu/installer/final.scm @@ -128,7 +128,7 @@ USERS."                       (match (string-tokenize (read-string port) %not-nul)                         ((argv0 _ ...)                          (unless (member (pk (basename argv0)) spare) -                          (syslog "Killing process ~a~%" pid) +                          (syslog "Killing process ~a (~a)~%" pid argv0)                            (kill pid SIGKILL)))                         (_ #f))))))                pids))) @@ -146,6 +146,8 @@ be much appreciated."    (catch #t      (lambda ()        (let ((tmp-dir "/remove")) +        (syslog "Unmounting cow-store.~%") +          (mkdir-p tmp-dir)          (mount (%store-directory) tmp-dir "" MS_MOVE) | 
