diff options
Diffstat (limited to 'lib/System/Win32/Signals.inc')
-rw-r--r-- | lib/System/Win32/Signals.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/System/Win32/Signals.inc b/lib/System/Win32/Signals.inc index 4ac768eff9..07d399a50c 100644 --- a/lib/System/Win32/Signals.inc +++ b/lib/System/Win32/Signals.inc @@ -123,7 +123,7 @@ static void Cleanup() { if (FilesToRemove != NULL) while (!FilesToRemove->empty()) { try { - FilesToRemove->back().destroy(); + FilesToRemove->back().eraseFromDisk(); } catch (...) { } FilesToRemove->pop_back(); @@ -132,7 +132,7 @@ static void Cleanup() { if (DirectoriesToRemove != NULL) while (!DirectoriesToRemove->empty()) { try { - DirectoriesToRemove->back().destroy(true); + DirectoriesToRemove->back().eraseFromDisk(true); } catch (...) { } DirectoriesToRemove->pop_back(); |