equal
deleted
inserted
replaced
1977 // that raises SIGTERM for the latter cases. |
1977 // that raises SIGTERM for the latter cases. |
1978 // |
1978 // |
1979 static BOOL WINAPI consoleHandler(DWORD event) { |
1979 static BOOL WINAPI consoleHandler(DWORD event) { |
1980 switch (event) { |
1980 switch (event) { |
1981 case CTRL_C_EVENT: |
1981 case CTRL_C_EVENT: |
1982 if (is_error_reported()) { |
1982 if (VMError::is_error_reported()) { |
1983 // Ctrl-C is pressed during error reporting, likely because the error |
1983 // Ctrl-C is pressed during error reporting, likely because the error |
1984 // handler fails to abort. Let VM die immediately. |
1984 // handler fails to abort. Let VM die immediately. |
1985 os::die(); |
1985 os::die(); |
1986 } |
1986 } |
1987 |
1987 |