Bugfix, found by inspection, yay!

This commit is contained in:
Scott Lystig Fritchie 2015-06-04 15:05:37 +09:00
parent 89b8b6a012
commit 0cf9627f26

View file

@ -1669,6 +1669,7 @@ projection_transition_is_sane(
%% Additions to the UPI chain may only be at the tail
UPI_common_prefix = find_common_prefix(UPI_list1, UPI_list2),
true =
if UPI_common_prefix == [] ->
if UPI_list1 == [] orelse UPI_list2 == [] ->
%% If the common prefix is empty, then one of the
@ -1695,7 +1696,7 @@ projection_transition_is_sane(
%% [] [b]
%%
%% ... where RelativeToServer=b. In this case, b
%% has been partitions for a while and has only
%% has been partitioned for a while and has only
%% now just learned of several epoch transitions.
%% If the author of both is also in the UPI of
%% both, then those authors would not have allowed