diff options
Diffstat (limited to 'resources/tools')
| -rwxr-xr-x | resources/tools/virl/bin/start-testcase | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/tools/virl/bin/start-testcase b/resources/tools/virl/bin/start-testcase index ce47378188..9e63f8da92 100755 --- a/resources/tools/virl/bin/start-testcase +++ b/resources/tools/virl/bin/start-testcase @@ -386,7 +386,7 @@ def main(): auth=(args.username, args.password)) try: shutil.rmtree(scratch_directory) - except shutil.Error: + except: print_to_stderr("ERROR: Removing scratch directory") print "{}".format(session_id) sys.exit(1) @@ -424,7 +424,7 @@ def main(): auth=(args.username, args.password)) try: shutil.rmtree(scratch_directory) - except shutil.Error: + except: print_to_stderr("ERROR: Removing scratch directory") print "{}".format(session_id) sys.exit(1) @@ -499,7 +499,7 @@ def main(): auth=(args.username, args.password)) try: shutil.rmtree(scratch_directory) - except shutil.Error: + except: print_to_stderr("ERROR: Removing scratch directory") print "{}".format(session_id) sys.exit(1) |