From 87596c8834c903fabf1adfdefcc4270988732eb8 Mon Sep 17 00:00:00 2001
From: XeonSquared <redtailedairways@gmail.com>
Date: Thu, 11 Jun 2020 12:46:00 +1000
Subject: [PATCH] add os.getTimeout() function to ask how long the scheduler
 waits between running processes

---
 module/sched.lua | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/module/sched.lua b/module/sched.lua
index 960f826..f06fd91 100644
--- a/module/sched.lua
+++ b/module/sched.lua
@@ -58,6 +58,9 @@ function os.getenv(k) -- gets a process' *k* environment variable
   return tTasks[cPid].e[k]
  end
 end
+function os.getTimeout()
+ return nTimeout
+end
 function os.setTimeout(n)
  if type(n) == "number" and n >= 0 then
   nTimeout = n