| 123456789101112131415161718192021 |
- <html>
- <head>
- <meta charset="UTF-8">
- <title>Hello World!</title>
- </head>
- <body>
- <h1>Hello World!</h1>
- <script>
- var getAvailablePorts = require("./spike/available_serial_ports");
- getAvailablePorts().then((ports) => {
- var select = document.createElement("select");
- ports.forEach(p => {
- var option = document.createElement("option");
- option.innerText = p;
- select.appendChild(option);
- });
- document.body.appendChild(select);
- }).catch(e=>{alert(e)});
- </script>
- </body>
- </html>
|
