Method threadExitedEvent

src/mibase.ts:152–154

(info: MINode)

	}

	protected threadExitedEvent(info: MINode) {
		this.sendEvent(new ThreadEvent("exited", info.record("id")));
	}

	protected quitEvent() {
		this.quit = true;