fix

ocsigen · Feb 1, 2023 · 7af2c68 · 7af2c68
1 parent 711f8dd
commit 7af2c68
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/toplevel/examples/lwt_toplevel/dune b/toplevel/examples/lwt_toplevel/dune
@@ -145,3 +145,7 @@
 (alias
  (name default)
  (deps toplevel.js index.html))
+
+(alias
+ (name separate)
+ (deps toplevel.bc.js))
diff --git a/toplevel/examples/lwt_toplevel/index.html b/toplevel/examples/lwt_toplevel/index.html
@@ -153,11 +153,14 @@
       var fields = hash.split(/&/);
       var prefix = "";
       var version = "";
+      var main = "toplevel.js";
       for(var f in fields){
         var data = fields[f].split(/=/);
         if(data[0] == "version"){
           version = data[1].replace(/%20|%2B/g,"+");
-          break;
+        }
+        else if (data[0] == "separate"){
+          main = "toplevel.bc.js";
         }
       }
       function load_script(url){
@@ -167,7 +170,7 @@
         document.getElementsByTagName("head")[0].appendChild(fileref);
       }
       load_script("exported-unit.cmis.js");
-      load_script("toplevel.bc.js");
+      load_script(main);
 
     </script>
   </head>