diff options
Diffstat (limited to 'src/main/java/prefs/VSDefaultPrefs.java')
| -rw-r--r-- | src/main/java/prefs/VSDefaultPrefs.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/prefs/VSDefaultPrefs.java b/src/main/java/prefs/VSDefaultPrefs.java index 217144e..aa0b741 100644 --- a/src/main/java/prefs/VSDefaultPrefs.java +++ b/src/main/java/prefs/VSDefaultPrefs.java @@ -180,6 +180,8 @@ public class VSDefaultPrefs extends VSSerializablePrefs { initString("lang.protocols.implementations.VSReliableMulticastProtocol.short", "Reliable Multicast"); initString("lang.protocols.implementations.VSTwoPhaseCommitProtocol", "Two-Phase Commit"); initString("lang.protocols.implementations.VSTwoPhaseCommitProtocol.short", "2-Phase Commit"); + initString("lang.protocols.implementations.VSRaftProtocol", "Raft Consensus Algorithm"); + initString("lang.protocols.implementations.VSRaftProtocol.short", "Raft Consensus"); /* Timestamp event names */ initString("lang.events.implementations.VSLamportTimestampEvent", "Lamport Timestamp Event"); |
