Fix anonymizing home directory if path contains double-backslash.

This commit is contained in:
Remco Burema 2020-05-29 12:38:13 +02:00
parent 5e73412a67
commit 8bbb69300c
No known key found for this signature in database
GPG Key ID: 215C49431D43F98C

View File

@ -88,7 +88,7 @@ class CrashHandler:
@staticmethod
def pruneSensitiveData(obj: Any) -> Any:
if isinstance(obj, str):
return obj.replace(home_dir, "<user_home>")
return obj.replace("\\\\", "\\").replace(home_dir, "<user_home>")
if isinstance(obj, list):
return [CrashHandler.pruneSensitiveData(item) for item in obj]
if isinstance(obj, dict):