From 4deb3a2dfc38e53fd618d0ab1025ec723015bf20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Kr=C3=B6g?= <maxi_kroeg@web.de>
Date: Sat, 25 Jul 2020 21:59:25 +0200
Subject: [PATCH] Do not load resources multiple time for codepen

---
 examples/resources/common.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/resources/common.js b/examples/resources/common.js
index 2aa448d747..d5231bc304 100644
--- a/examples/resources/common.js
+++ b/examples/resources/common.js
@@ -50,9 +50,11 @@
       const worker = workerContainer ? workerContainer.innerText : undefined;
       const pkgJson = document.getElementById('example-pkg-source').innerText;
 
+      const unique = new Set();
       const localResources = (js.match(/'data\/[^']*/g) || [])
         .concat(js.match(/'resources\/[^']*/g) || [])
-        .map(f => f.slice(1));
+        .map(f => f.slice(1))
+        .filter(f => unique.has(f) ? false : unique.add(f));
 
       const promises = localResources.map(resource => fetchResource(resource));