# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1592578070 -7200
# Node ID 2d1ceb026d0ed9b8d94f727ead7971e4a0964212
# Parent  4385a75e3962d500fbeade10528c9cfbb39bbd41
tasks (brython): copy and load `brython_stdlib.js`

diff -r 4385a75e3962 -r 2d1ceb026d0e libervia/server/tasks/implicit/task_brython.py
--- a/libervia/server/tasks/implicit/task_brython.py	Fri Jun 19 16:47:50 2020 +0200
+++ b/libervia/server/tasks/implicit/task_brython.py	Fri Jun 19 16:47:50 2020 +0200
@@ -53,6 +53,7 @@
             # shutil has blocking method, but the task is run before we start
             # the web server, so it's not a big deal
             shutil.copyfile(data_path / "brython.js", brython_js)
+            shutil.copy(data_path / "brython_stdlib.js", self.build_path)
         else:
             log.debug("Brython is already installed")
 
@@ -63,6 +64,7 @@
             import_url = f"/{C.BUILD_DIR}/{C.BUILD_DIR_DYN}/{url_hash}"
             dyn_data.setdefault('scripts', set()).update({
                 Script(src=f"/{C.BUILD_DIR}/brython.js"),
+                Script(src=f"/{C.BUILD_DIR}/brython_stdlib.js"),
             })
             dyn_data.setdefault('template', {})['body_onload'] = self.getBodyOnload(
                 extra_path=[import_url])