Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#332 Need pseudo-safe traceln as universal logger

feature_request
closed-fixed
local elib (53)
3
2007-01-15
2007-01-15
No

The safeScope now contains a binding from "traceln" to a universally accessible logging service, so that otherwise confined programs can log debugging information to the trace log.

This output is quoted using email quoting syntax, so that it is unspoofably identified as coming from the traceln defined within the given fully-qualified-name path.

Such output is technically a causal effect on the world outside the invoking object, and so would normally be considered unsafe and banished from the safeScope. However, we consider the trace log to be the same kind of TCB-level exception to the rules as is a human examining computation under a debugger.

Discussion

    • status: open --> closed-fixed