suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

better Exited message for Windows no-stdio console

Browse Source 
svn: r14552
This commit is contained in:
Matthew Flatt 2009-04-18 13:08:54 +00:00
parent 04a4060567
commit d93d37903b
1 changed files with 2 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/mred/mred.cxx
View File

@ -2222,11 +2222,6 @@ static HANDLE waiting_sema;
typedef HWND (WINAPI* gcw_proc)();
static void HideConsole()
{
}
static BOOL WINAPI ConsoleHandler(DWORD op)
{
if (stdio_kills_prog) {
@ -2234,9 +2229,6 @@ static BOOL WINAPI ConsoleHandler(DWORD op)
} else {
scheme_break_main_thread();
scheme_signal_received();
if ((op != CTRL_C_EVENT)
&& (op != CTRL_BREAK_EVENT))
HideConsole();
}
return TRUE;
}
@ -2256,8 +2248,8 @@ static void WaitOnConsole()
RDW_FRAME | RDW_INVALIDATE | RDW_UPDATENOW);
}
WriteConsole(console_out, "\n[Exited]", 9, &wrote, NULL);
WriteConsole(console_out, "\n[Exited. Close box or Ctrl-C closes the console.]\n", 51, &wrote, NULL);
WaitForSingleObject(waiting_sema, INFINITE);
}
@ -3670,13 +3662,6 @@ void wxDrop_Runtime(char **argv, int argc)
#if defined(wx_mac) || defined(wx_msw)
void wxDrop_Quit()
{
#if WCONSOLE_STDIO
if (has_stdio) {
has_stdio = 0;
HideConsole();
}
#endif
wxDo(wxs_app_quit_proc, 0, NULL);
}
#endif