Merge pull request #1678 from dtzWill/feature/anchor-exit-exception

anchor nix::Exit exception
This commit is contained in:
Eelco Dolstra 2017-11-15 12:31:47 +01:00 committed by GitHub
commit 897ca33a1c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions

View file

@ -369,5 +369,6 @@ PrintFreed::~PrintFreed()
% showBytes(results.bytesFreed);
}
Exit::~Exit() { }
}

View file

@ -17,6 +17,7 @@ public:
int status;
Exit() : status(0) { }
Exit(int status) : status(status) { }
virtual ~Exit();
};
int handleExceptions(const string & programName, std::function<void()> fun);