From 47f134ab7c1a8a413e529c335cf33a80fbf67452 Mon Sep 17 00:00:00 2001
From: mbruns42 <mbruns42@mail.upb.de>
Date: Fri, 8 Sep 2017 11:09:42 +0200
Subject: [PATCH] Replace isdir with exists when checking report directory
 existence

---
 toolkit/reportSummary/reportSummary.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toolkit/reportSummary/reportSummary.py b/toolkit/reportSummary/reportSummary.py
index 590037e4..43c4c23d 100644
--- a/toolkit/reportSummary/reportSummary.py
+++ b/toolkit/reportSummary/reportSummary.py
@@ -29,7 +29,7 @@ import readFileUtilities
 
 # Get directory containing reports and check if it really exists
 reportDir = sys.argv[1]
-if not os.path.isdir(reportDir):
+if not os.path.exists(reportDir):
     print("Report directory not found.")
     print("Usage: reportSummary.py <reportDirectory> \n e.g., /Simulator/reports/")
 
-- 
GitLab