From f4958c7d9672cea5b028c99d0fd124acb4894cad Mon Sep 17 00:00:00 2001
From: Michael Eischer <eischer@cs.fau.de>
Date: Fri, 3 Jul 2020 11:16:22 +0200
Subject: [PATCH] Fix minimum number of steward keys

The minimum is necessary for generating the keys not when
loading them
---
 src/refit/message/REFITKeyManager.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/refit/message/REFITKeyManager.java b/src/refit/message/REFITKeyManager.java
index 98dd0b8..11ea910 100644
--- a/src/refit/message/REFITKeyManager.java
+++ b/src/refit/message/REFITKeyManager.java
@@ -121,7 +121,7 @@ public class REFITKeyManager {
 			System.exit(1);
 		}
 
-		int maxGroupId = Math.max(4, REFITStewardGroups.stewardOrderGroupCount());
+		int maxGroupId = REFITStewardGroups.stewardOrderGroupCount();
 		ThresholdKeyPair[] keyPairs = new ThresholdKeyPair[maxGroupId];
 
 		for (int i = 0; i < maxGroupId; i++) {
@@ -203,7 +203,8 @@ public class REFITKeyManager {
 		String filename = getKeyPath(KeyType.THRESHOLD, 3 * REFITConfig.FAULTS_TO_TOLERATE + 1);
 		DataOutputStream dat = new DataOutputStream(new BufferedOutputStream(new FileOutputStream(filename)));
 
-		for (int i = 0; i < REFITStewardGroups.stewardOrderGroupCount(); i++) {
+		int maxGroupId = Math.max(4, REFITStewardGroups.stewardOrderGroupCount());
+		for (int i = 0; i < maxGroupId; i++) {
 			Dealer dealer = generateThresholdKey();
 			GroupKey groupKey = dealer.getGroupKey();
 			KeyShare[] shares = dealer.getShares();
-- 
GitLab