Merge pull request #388 from ChinYikMing/add-coi-service-worker

Add coi-serviceworker

Author: jserv

assets/html/index.html

@@ -136,24 +136,24 @@
       var spinnerElement = document.getElementById('spinner');
 
       var elfFiles = [
-        "doom.elf", 
+        "doom.elf",
         "smoles.elf",
         "quake.elf",
-        "coremark.elf", 
-        "dhrystone.elf", 
+        "coremark.elf",
+        "dhrystone.elf",
         "pi.elf",
-        "donut.elf", 
-        "aes.elf", 
-        "capcha.elf", 
-        "cc.elf", 
-        "chacha20.elf", 
-        "coro.elf", 
-        "fcalc.elf", 
-        "hamilton.elf", 
-        "hello.elf", 
-        "ieee754.elf", 
-        "jit-bf.elf", 
-        "lena.elf", 
+        "donut.elf",
+        "aes.elf",
+        "capcha.elf",
+        "cc.elf",
+        "chacha20.elf",
+        "coro.elf",
+        "fcalc.elf",
+        "hamilton.elf",
+        "hello.elf",
+        "ieee754.elf",
+        "jit-bf.elf",
+        "lena.elf",
         "line.elf",
         "maj2random.elf",
         "mandelbrot.elf",
@@ -273,5 +273,6 @@
       };
     </script>
     <script async type="text/javascript" src="rv32emu.js"></script>
+    <script src="coi-serviceworker.min.js"></script>
   </body>
 </html>