equal
deleted
inserted
replaced
62 resultCode = e.getExitCode(); |
62 resultCode = e.getExitCode(); |
63 } catch (RelpipeReaderException& e) { |
63 } catch (RelpipeReaderException& e) { |
64 fwprintf(stderr, L"Caught Reader exception: %ls\n", e.getMessge().c_str()); |
64 fwprintf(stderr, L"Caught Reader exception: %ls\n", e.getMessge().c_str()); |
65 fwprintf(stderr, L"Debug: Input stream: eof=%ls, lastRead=%d\n", (cin.eof() ? L"true" : L"false"), cin.gcount()); |
65 fwprintf(stderr, L"Debug: Input stream: eof=%ls, lastRead=%d\n", (cin.eof() ? L"true" : L"false"), cin.gcount()); |
66 resultCode = CLI::EXIT_CODE_DATA_ERROR; |
66 resultCode = CLI::EXIT_CODE_DATA_ERROR; |
|
67 } catch (GuileException& e) { |
|
68 fwprintf(stderr, L"Caught Guile exception: %ls\n", e.getMessge().c_str()); |
|
69 fwprintf(stderr, L"Debug: Input stream: eof=%ls, lastRead=%d\n", (cin.eof() ? L"true" : L"false"), cin.gcount()); |
|
70 resultCode = CLI::EXIT_CODE_UNEXPECTED_ERROR; |
67 } |
71 } |
68 |
72 |
69 exit(resultCode); |
73 exit(resultCode); |
70 } |
74 } |
71 |
75 |