diff options
Diffstat (limited to 'support/lib/Support/Signals.cpp')
-rw-r--r-- | support/lib/Support/Signals.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/support/lib/Support/Signals.cpp b/support/lib/Support/Signals.cpp index 8aa1b6047a..29daedf0fb 100644 --- a/support/lib/Support/Signals.cpp +++ b/support/lib/Support/Signals.cpp @@ -11,8 +11,9 @@ #include <cstdlib> #include <cstdio> #include <signal.h> +using std::string; -static vector<string> FilesToRemove; +static std::vector<string> FilesToRemove; // IntSigs - Signals that may interrupt the program at any time. static const int IntSigs[] = { @@ -36,7 +37,7 @@ static void SignalHandler(int Sig) { FilesToRemove.pop_back(); } - if (find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) + if (std::find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) exit(1); // If this is an interrupt signal, exit the program // Otherwise if it is a fault (like SEGV) reissue the signal to die... @@ -48,6 +49,6 @@ static void RegisterHandler(int Signal) { signal(Signal, SignalHandler); } void RemoveFileOnSignal(const string &Filename) { FilesToRemove.push_back(Filename); - for_each(IntSigs, IntSigsEnd, RegisterHandler); - for_each(KillSigs, KillSigsEnd, RegisterHandler); + std::for_each(IntSigs, IntSigsEnd, RegisterHandler); + std::for_each(KillSigs, KillSigsEnd, RegisterHandler); } |