diff options
Diffstat (limited to 'crawl-ref/source/stuff.cc')
-rw-r--r-- | crawl-ref/source/stuff.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/crawl-ref/source/stuff.cc b/crawl-ref/source/stuff.cc index 31aa0de613..74c9250bdd 100644 --- a/crawl-ref/source/stuff.cc +++ b/crawl-ref/source/stuff.cc @@ -376,6 +376,14 @@ void end(int exit_code, bool print_error, const char *format, ...) error += "\n"; fprintf(stderr, "%s", error.c_str()); } + +#if defined(WIN32CONSOLE) || defined(DOS) + if (exit_code) + { + fprintf(stderr, "Hit Enter to continue...\n"); + getchar(); + } +#endif exit(exit_code); } |