diff options
Diffstat (limited to 'resources/tools/presentation/environment.py')
| -rw-r--r-- | resources/tools/presentation/environment.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/resources/tools/presentation/environment.py b/resources/tools/presentation/environment.py index 05376e0e09..1a1c3db032 100644 --- a/resources/tools/presentation/environment.py +++ b/resources/tools/presentation/environment.py @@ -148,8 +148,9 @@ def clean_environment(env): try: shutil.rmtree(dir_to_remove) except OSError: - raise PresentationError("Cannot remove the directory '{}'". - format(dir_to_remove)) + pass + # raise PresentationError("Cannot remove the directory '{}'". + # format(dir_to_remove)) else: logging.warning("The directory '{}' does not exist.". format(dir_to_remove)) |