diff options
author | Thomas Adam <thomas@xteddy.org> | 2020-04-16 10:01:33 +0100 |
---|---|---|
committer | Thomas Adam <thomas@xteddy.org> | 2020-04-16 10:01:33 +0100 |
commit | dd66ede38beab6ccb9b3848c218421c43499e761 (patch) | |
tree | 7e279735e7c417b726ba66f90d19d85edacd972c /server-fn.c | |
parent | 3aa1e5810c3f5ea6998e0c533d83cd91b6250c7d (diff) | |
parent | a2e47b527986af6140a9dfa43c9448347dc0a050 (diff) |
Merge branch 'obsd-master'
Diffstat (limited to 'server-fn.c')
-rw-r--r-- | server-fn.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/server-fn.c b/server-fn.c index 2247f1c5..815d25e2 100644 --- a/server-fn.c +++ b/server-fn.c @@ -335,8 +335,8 @@ server_destroy_pane(struct window_pane *wp, int notify) tim); } else if (WIFSIGNALED(wp->status)) { screen_write_nputs(&ctx, -1, &gc, - "Pane is dead (signal %d, %s)", - WTERMSIG(wp->status), + "Pane is dead (signal %s, %s)", + sig2name(WTERMSIG(wp->status)), tim); } |