diff options
author | John Wiegley <johnw@newartisans.com> | 2009-02-16 04:16:20 -0400 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2009-02-16 04:16:20 -0400 |
commit | 1aff6ec01deaee142209d007a7acebb859677603 (patch) | |
tree | cafb3dc8f7bc4348e349fde49cdc7f8c2b18b645 | |
parent | 4365d9e3fcbe2546c15f188833a69cf8416f44fe (diff) | |
download | fork-ledger-1aff6ec01deaee142209d007a7acebb859677603.tar.gz fork-ledger-1aff6ec01deaee142209d007a7acebb859677603.tar.bz2 fork-ledger-1aff6ec01deaee142209d007a7acebb859677603.zip |
Abort journal parsing if Control-C is caught
-rw-r--r-- | src/textual.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/textual.cc b/src/textual.cc index 51011aae..fe518cc2 100644 --- a/src/textual.cc +++ b/src/textual.cc @@ -236,6 +236,9 @@ void instance_t::parse() add_error_context("While parsing file " << file_context(pathname, linenum)); + if (caught_signal != NONE_CAUGHT) + throw; + string context = error_context(); if (! context.empty()) std::cerr << context << std::endl; |