-
Marco Bubke authored
The process could be already dead so it should not try to write to an dead process. Change-Id: I0c0b235b55385176c4175b63aa7c290cf3ae2947 Reviewed-by: Thomas Hartmann <Thomas.Hartmann@digia.com>
2870ca45
The process could be already dead so it should not try to write to an
dead process.
Change-Id: I0c0b235b55385176c4175b63aa7c290cf3ae2947
Reviewed-by: Thomas Hartmann <Thomas.Hartmann@digia.com>