From 43f3900ffee58643f2219eaaceb6d3af6a0a69e1 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Thu, 27 Aug 2015 12:25:25 +0200 Subject: [PATCH] Fixes #1362 --- lib/core/common.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/core/common.py b/lib/core/common.py index a72c7cd75..15c7af399 100755 --- a/lib/core/common.py +++ b/lib/core/common.py @@ -861,6 +861,9 @@ def dataToDumpFile(dumpFile, data): if "No space left" in getUnicode(ex): errMsg = "no space left on output device" logger.error(errMsg) + elif "Permission denied" in getUnicode(ex): + errMsg = "permission denied when flushing dump data" + logger.error(errMsg) else: raise