]> git.pond.sub.org Git - empserver/commit
projects / empserver / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f86dd2) | patch
scripts/savecore: Report nicely when there's no core dump
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 15 Nov 2015 07:40:36 +0000 (08:40 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 5 Dec 2015 12:19:38 +0000 (13:19 +0100)
commit41263cf8c94c1b9bab8e27c4c830dc6cdd605297
treef4e01f87ced6cfb17289e7b10d4cdc4afedeb938tree | snapshot
parent3f86dd2ecf962be59e9e79eef83709307c35272fcommit | diff
scripts/savecore: Report nicely when there's no core dump

When savecore can't find a core dump, it reports something like

    ls: cannot access core.*: No such file or directory

to stderr, and fails.  If privlog is set, it also mails out a "Could
not save core dump" note.

Suppress the error message, and mail out "Could not find core dump to
save" instead.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
scripts/savecore diff | blob | history
Markus's Wolfpack Empire tree