diff options
Diffstat (limited to 'support/lib/Support/Signals.cpp')
| -rw-r--r-- | support/lib/Support/Signals.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/support/lib/Support/Signals.cpp b/support/lib/Support/Signals.cpp index 3b34683..38fb9dd 100644 --- a/support/lib/Support/Signals.cpp +++ b/support/lib/Support/Signals.cpp @@ -11,9 +11,8 @@ #include <cstdlib> #include <cstdio> #include <signal.h> -using std::string; -static std::vector<string> FilesToRemove; +static std::vector<std::string> FilesToRemove; // IntSigs - Signals that may interrupt the program at any time. static const int IntSigs[] = { @@ -48,7 +47,7 @@ static void SignalHandler(int Sig) { static void RegisterHandler(int Signal) { signal(Signal, SignalHandler); } // RemoveFileOnSignal - The public API -void RemoveFileOnSignal(const string &Filename) { +void RemoveFileOnSignal(const std::string &Filename) { FilesToRemove.push_back(Filename); std::for_each(IntSigs, IntSigsEnd, RegisterHandler); |