Merge commit 'erg/master'

release
Slava Pestov 2007-12-12 02:35:02 -05:00
commit b17c2388cb
1 changed files with 4 additions and 2 deletions

View File

@ -84,9 +84,11 @@ long exception_handler(PEXCEPTION_POINTERS pe)
void c_to_factor_toplevel(CELL quot)
{
AddVectoredExceptionHandler(0, (void*)exception_handler);
if(!AddVectoredExceptionHandler(0, (void*)exception_handler))
fatal_error("AddVectoredExceptionHandler failed", 0);
c_to_factor(quot);
RemoveVectoredExceptionHandler((void*)exception_handler);
if(!RemoveVectoredExceptionHandler((void*)exception_handler))
fatal_error("RemoveVectoredExceptionHandler failed", 0);
}
void open_console(void)