From 4ea8569abc0225e567dbb89eb5123ad87ac4ad28 Mon Sep 17 00:00:00 2001
From: Eric House <eehouse@eehouse.org>
Date: Sat, 27 Oct 2012 08:15:07 -0700
Subject: [PATCH] honor --min-devs flag

---
 xwords4/linux/scripts/discon_ok2.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/xwords4/linux/scripts/discon_ok2.sh b/xwords4/linux/scripts/discon_ok2.sh
index f6ebeda33..df7466a5d 100755
--- a/xwords4/linux/scripts/discon_ok2.sh
+++ b/xwords4/linux/scripts/discon_ok2.sh
@@ -79,6 +79,9 @@ function pick_ndevs() {
     elif [ $RNUM -gt 75 -a $MAXDEVS -ge 3 ]; then
         NDEVS=3
     fi
+    if [ -n "$MINDEVS" -a "$NDEVS" -lt "$MINDEVS" ]; then
+        NDEVS=$MINDEVS
+    fi
     echo $NDEVS
 }