From fee8ba52077273bfe5f75be1ddf51a7b7575246a Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 10 Sep 2025 01:52:16 +0100 Subject: [PATCH] set preemptive scheduling time to change threads every 555 microseconds, instead of every 20 milliseoncds (which was the default) --- shell/shell.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shell/shell.sml b/shell/shell.sml index 17607d7..d996614 100644 --- a/shell/shell.sml +++ b/shell/shell.sml @@ -79,4 +79,4 @@ struct end end -val _ = RunCML.doit (Shell.main, NONE) +val _ = RunCML.doit (Shell.main, SOME (Time.fromMicroseconds 555))