diff options
Diffstat (limited to 'crawl-ref/source/stuff.cc')
| -rw-r--r-- | crawl-ref/source/stuff.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/crawl-ref/source/stuff.cc b/crawl-ref/source/stuff.cc index 0f30d16dc2..a9bde6fb46 100644 --- a/crawl-ref/source/stuff.cc +++ b/crawl-ref/source/stuff.cc @@ -468,7 +468,7 @@ bool see_grid(unsigned char grx, unsigned char gry) return false; } // end see_grid() -void end(int end_arg) +void io_cleanup() { #ifdef UNIX unixcurses_shutdown(); @@ -477,7 +477,11 @@ void end(int end_arg) #ifdef WIN32CONSOLE deinit_libw32c(); #endif +} +void end(int end_arg) +{ + io_cleanup(); exit(end_arg); } |