/* * Here to close down the server. */ void GsTerminate(void) { #if !NONETWORK GsCloseSocket(); #endif GdCloseScreen(); GdCloseMouse(); GdCloseKeyboard(); #if FRAMEBUFFER | BOGL fb_RedrawVt(vterm); #endif exit(0); }
/* * Here to close down the server. */ void GsTerminate(void) { #if !NONETWORK GsCloseSocket(); #endif GdCloseScreen(rootwp->psd); GdCloseMouse(); GdCloseKeyboard(); #if VTSWITCH MwRedrawVt(mwvterm); #endif exit(0); }