added my responsibility for the `cpm' port

[unix-history] / sys / kern / kern_sig.c

diff --git a/sys/kern/kern_sig.c b/sys/kern/kern_sig.c
index 56a32f2..54bb672 100644 (file)
--- a/sys/kern/kern_sig.c
+++ b/sys/kern/kern_sig.c
@@ -31,7 +31,7 @@
  * SUCH DAMAGE.
  *
  *     from: @(#)kern_sig.c    7.35 (Berkeley) 6/28/91
  * SUCH DAMAGE.
  *
  *     from: @(#)kern_sig.c    7.35 (Berkeley) 6/28/91

- *     $Id: kern_sig.c,v 1.9 1993/12/19 00:51:30 wollman Exp $
+ *     $Id: kern_sig.c,v 1.11 1994/05/05 18:44:13 csgr Exp $

  */
 
 #define        SIGPROP         /* include signal properties table */
  */
 
 #define        SIGPROP         /* include signal properties table */


@@ -1052,7 +1052,7 @@ sigexit(p, sig)
                 * these messages.)
                 * XXX : Todo, as well as euid, write out ruid too
                 */
                 * these messages.)
                 * XXX : Todo, as well as euid, write out ruid too
                 */

-               log(LOG_INFO, "pid %d : %s : uid %d : exited on signal %d\n",
+               log(LOG_INFO, "pid %d: %s: uid %d: exited on signal %d\n",

                        p->p_pid, p->p_comm, p->p_ucred->cr_uid, sig);
                if (coredump(p) == 0)
                        sig |= WCOREFLAG;
                        p->p_pid, p->p_comm, p->p_ucred->cr_uid, sig);
                if (coredump(p) == 0)
                        sig |= WCOREFLAG;