Hi, Waldemar.

...

I know what do you mean, I have the same problem. I will try to find it when I will have the time.

That is what I have tried (it works if you set GRXCLS=off), but I am not sure if it is safe/portable enough.

in 'setdrvr.c':

void _GrCloseVideoDriver(void) { if(getenv("GRXCLS")) return; ///wsz <=== sttcopy(&DRVINFO->fdriver,&DRVINFO->tdriver); if(DRVINFO->vdriver != NULL) { if(DRVINFO->vdriver->reset) (*DRVINFO->vdriver->reset)(); DRVINFO->vdriver = NULL; } }

This seems to work, and close the video driver properly:

void grx_abort( char *error_message ) { void _GrCloseVideoDriver(void);

_GrCloseVideoDriver(); printf( "%s\n",error message" ); exit(1); }

Note that exit call _GrCloseVideoDriver again, but it don't do nothing because DRVINFO->vdriver is NULL.