reduce polling interval, 100 -> 10

2025-07-09 15:31:26 -04:00 · 2025-07-09 15:31:26 -04:00 · aa8d6bbc0d
commit aa8d6bbc0d
parent 127b85a15f
1 changed files with 1 additions and 1 deletions
--- a/pkg/ludus.js
+++ b/pkg/ludus.js
@ -96,7 +96,7 @@ function bundle_keys () {
 }

 function start_io_polling () {
-  io_interval_id = setInterval(io_poller, 100)
+  io_interval_id = setInterval(io_poller, 10)
 }

 // runs a ludus script; does not return the result