(tid)
| 220 | } |
| 221 | |
| 222 | function endFollow(tid) { |
| 223 | const d = (depthByTid.get(tid) || 0) - 1; |
| 224 | depthByTid.set(tid, Math.max(0, d)); |
| 225 | if (d > 0 && CONFIG.maxDepthFollow) return; // still inside outer frame |
| 226 | try { Stalker.unfollow(tid); } catch (e) {} |
| 227 | try { Stalker.flush(); } catch (e) {} |
| 228 | const st = stateByTid.get(tid); |
| 229 | stateByTid.delete(tid); |
| 230 | return st; |
| 231 | } |
| 232 | |
| 233 | function drainEvents(tid, state, events) { |
| 234 | let parsed; |