From b7d7569ab21211f8a6d26ca50e8deb5caf465e85 Mon Sep 17 00:00:00 2001
From: Marc-Antoine <marc-antoine.georges@gipsa-lab.fr>
Date: Mon, 22 Mar 2021 11:24:29 +0100
Subject: [PATCH] clientside pool fix

---
 js/core.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/core.js b/js/core.js
index c51e334..c7e26ce 100644
--- a/js/core.js
+++ b/js/core.js
@@ -1309,9 +1309,9 @@ function stateMachine() {
             }
             pagePool.push(page);
         });
-        if (specification.numPages > 0) {
+        if (specification.poolSize > 0) {
             specification.randomiseOrder = true;
-            pagePool = pickSubPool(pagePool, specification.numPages);
+            pagePool = pickSubPool(pagePool, specification.poolSize);
         }
 
         // Now get the order of pages