diff options
Diffstat (limited to 'lib/python/Tools')
| -rw-r--r-- | lib/python/Tools/Profile.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/python/Tools/Profile.py b/lib/python/Tools/Profile.py index 5fee5316..4d8dd901 100644 --- a/lib/python/Tools/Profile.py +++ b/lib/python/Tools/Profile.py @@ -9,6 +9,7 @@ profile_start = time.time() profile_data = {} total_time = 1 +profile_file = None try: profile_old = open(resolveFilename(SCOPE_CONFIG, "profile"), "r").readlines() @@ -22,7 +23,10 @@ try: except: print "no profile data available" -profile_file = open(resolveFilename(SCOPE_CONFIG, "profile"), "w") +try: + profile_file = open(resolveFilename(SCOPE_CONFIG, "profile"), "w") +except IOError: + print "WARNING: couldn't open profile file!" def profile(id): now = time.time() - profile_start |