Toggle navigation
grg
Not logged in ·
Login
Home
Timeline
Files
Branches
Tags
Home
Help: backoffice-nodelay
Command-List
The "backoffice-nodelay" setting:
If backoffice-nodelay is true, then the backoffice processing will never invoke sleep(). If it has nothing useful to do, it simply exits.
GRG for REDUCE
[
GRG Homepage
|
GitHub Mirror
|
SourceHut Mirror
|
NotABug Mirror
|
Chisel Mirror
|
Chisel RSS
]