Skip to content
GitLab
Commit 7bbae178 authored by Rudolf Polzer's avatar Rudolf Polzer
Browse files

Don't kill the saver_child's process group a second time when getting ECHILD... 

Don't kill the saver_child's process group a second time when getting ECHILD and already having killed it.

This should not change anything noticeable - just a bit more consistent
that way.
parent 7c2c839b
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment