diff options
author | Eddie Louie <eddie.louie@mongodb.com> | 2017-09-07 12:25:13 -0400 |
---|---|---|
committer | Eddie Louie <eddie.louie@mongodb.com> | 2017-09-07 15:52:42 -0400 |
commit | c58c5814e6734bfaeb73b8099345336c095b3180 (patch) | |
tree | adb5466394689e9888decda8ba9ccfd1d86a0b78 /buildscripts/collect_resource_info.py | |
parent | f668265318237dc75708a20254e695869487d884 (diff) | |
download | mongo-c58c5814e6734bfaeb73b8099345336c095b3180.tar.gz |
SERVER-30855 Rename system_resouce_info_{task_id}.json to system_resouce_info.json
Diffstat (limited to 'buildscripts/collect_resource_info.py')
-rwxr-xr-x | buildscripts/collect_resource_info.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/buildscripts/collect_resource_info.py b/buildscripts/collect_resource_info.py index 06b21e08d27..c6f7b1ac527 100755 --- a/buildscripts/collect_resource_info.py +++ b/buildscripts/collect_resource_info.py @@ -28,7 +28,12 @@ def open_or_use_stdout(filename): return line_buffered = 1 - fp = open(filename, "w", line_buffered) + try: + fp = open(filename, "w", line_buffered) + except IOError: + print("Could not open file {}".format(filename), file=sys.stderr) + sys.exit(1) + try: yield fp finally: |