diff options
| author | John Wiegley <jwiegley@gmail.com> | 2017-10-26 15:17:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-26 15:17:55 -0700 |
| commit | ca2590c639fe7ebbce546ac2dca4d901c0fd5489 (patch) | |
| tree | 62035fc56e025dbfbc71c1f9235236c03a44dc57 /src/global.cc | |
| parent | b41454477a0576952f77a20ee32c38eb1b9c1442 (diff) | |
| parent | dab0039680cde39bd50404d1466f3ad50e012b68 (diff) | |
| download | fork-ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.tar.gz fork-ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.tar.bz2 fork-ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.zip | |
Merge pull request #493 from escondida/double-init
src/global.cc: do not parse user-specified init-file twice
Diffstat (limited to 'src/global.cc')
| -rw-r--r-- | src/global.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/global.cc b/src/global.cc index b1c45d45..37765a9b 100644 --- a/src/global.cc +++ b/src/global.cc @@ -136,9 +136,7 @@ void global_scope_t::read_init() path init_file; if (HANDLED(init_file_)) { init_file=HANDLER(init_file_).str(); - if (exists(init_file)) { - parse_init(init_file); - } else { + if (!exists(init_file)) { throw_(parse_error, _f("Could not find specified init file %1%") % init_file); } } else { |