Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-09-09 13:50:28 -0700 (Fri, 09 Sep 2005)
Revision: 1955
Log message:
Forgot to reset certain variables when a process that has initiated a view change detects that another process with higher priority has also initiated a view change.
Changes | Path |
+9 -5 | mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla |