| 1045 | } |
| 1046 | |
| 1047 | void fxAbort(txMachine* the, int status) |
| 1048 | { |
| 1049 | if (XS_DEBUGGER_EXIT == status) |
| 1050 | c_exit(1); |
| 1051 | if (the->exitStatus) // xsEndHost calls fxAbort! |
| 1052 | return; |
| 1053 | the->exitStatus = status; |
| 1054 | fxExitToHost(the); |
| 1055 | } |
| 1056 | |
| 1057 | txID fxFindModule(txMachine* the, txSlot* realm, txID moduleID, txSlot* slot) |
| 1058 | { |
no test coverage detected