Use worker in graphviz js script

1 files changed, 3 insertions, 5 deletions

diff --git a/content/Informatique/2020-12-05-graphviz_en_js.rst b/content/Informatique/2020-12-05-graphviz_en_js.rst
index 8b2e70a..d8f46dc 100755
--- a/content/Informatique/2020-12-05-graphviz_en_js.rst
+++ b/content/Informatique/2020-12-05-graphviz_en_js.rst
@@ -143,11 +143,9 @@ La démo
   load_button.onclick = async function() {
       var note = document.getElementById('note');
       note.remove();
-      var s1 = getScript("/resources/viz.js/viz.js");
-      var s2 = getScript("/resources/viz.js/full.render.js");
-      var s3 = getScript("/resources/viz.js/download.js");
-      var s4 = getScript("/resources/viz.js/convert.js");
-      await Promise.all([s1, s2, s3, s4]);
+      var s1 = getScript("/resources/viz.js/download.js");
+      var s2 = getScript("/resources/viz.js/convert.js");
+      await Promise.all([s1, s2]);
       generator.load();
       var overlay = document.getElementById("overlay");
       overlay.remove();