diff options
-rw-r--r-- | tools/xentrace/xentrace_format | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/xentrace/xentrace_format b/tools/xentrace/xentrace_format index d66cb74578..f0127309ab 100644 --- a/tools/xentrace/xentrace_format +++ b/tools/xentrace/xentrace_format @@ -81,7 +81,11 @@ signal.signal(signal.SIGINT, sighand) interrupted = 0 -defs = read_defs(arg[0]) +try: + defs = read_defs(arg[0]) +except IOError, exn: + print exn + sys.exit(1) # structure of trace record (as output by xentrace): # HDR(I) {TSC(Q)} D1(I) D2(I) D3(I) D4(I) D5(I) D6(I) D7(I) |