The "th1-uri-regexp" setting:

Specify which URI's are allowed in HTTP requests from TH1 scripts. If empty, no HTTP requests are allowed whatsoever.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]