diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/w32fns.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/w32fns.c b/src/w32fns.c index 20833978926..7850e20eba1 100644 --- a/src/w32fns.c +++ b/src/w32fns.c | |||
| @@ -3408,7 +3408,10 @@ w32_wnd_proc (hwnd, msg, wParam, lParam) | |||
| 3408 | 3408 | ||
| 3409 | /* The choice of message is somewhat arbitrary, as long as | 3409 | /* The choice of message is somewhat arbitrary, as long as |
| 3410 | the main thread handler just ignores it. */ | 3410 | the main thread handler just ignores it. */ |
| 3411 | msg = WM_QUIT; | 3411 | msg = WM_NULL; |
| 3412 | |||
| 3413 | /* Interrupt any blocking system calls. */ | ||
| 3414 | signal_quit (); | ||
| 3412 | } | 3415 | } |
| 3413 | } | 3416 | } |
| 3414 | #endif | 3417 | #endif |