Diff
Not logged in

Differences From Artifact [5981accc3a]:

To Artifact [0a6e8fe942]:


1481
1482
1483
1484
1485
1486
1487

1488




1489
1490
1491
1492
1493
1494
1495
1481
1482
1483
1484
1485
1486
1487
1488

1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499







+
-
+
+
+
+







	}
	if (active.nextTracePtr) {
	    lastTracePtr = active.nextTracePtr->nextPtr;
	}
    }
    iPtr->activeCmdTracePtr = active.nextPtr;
    if (state) {
	if (traceCode == TCL_OK) {
	Tcl_RestoreInterpState(interp, state);
	    (void) Tcl_RestoreInterpState(interp, state);
	} else {
	    Tcl_DiscardInterpState(state);
	}
    }

    return traceCode;
}

/*
 *----------------------------------------------------------------------