/*-------------------------------------------------------------- ds_stop */ void ds_stop() { #define EXITSERVER 1 if(EXITSERVER==1) { quit=1; printf("qq...\n"); dis_remove_service(MICLOCKid); dis_remove_service(SHIFTid); dis_remove_service(QPLLid); dis_remove_service(MICLOCK_TRANSITIONid); dis_stop_serving(); if(micratepresent()&0x2) vmeclose(); if(micratepresent()&0x1) { vmxclose(vspRFRX[0]); vmxclose(vspRFRX[1]); }; exit(0); }; }
/*----------------------------------------------------*/ void stopserving() { dis_remove_service(CTPRCFGRCFGid); dis_remove_service(CTPRCFGid); dis_remove_service(LTUCFGid); dis_remove_service(C2Did); dis_remove_service(SETBMid); dis_remove_service(INT1id); dis_remove_service(INT2id); dis_remove_service(CSid); dis_stop_serving(); }