diff options
Diffstat (limited to 'lib/timeout.nom')
| -rw-r--r-- | lib/timeout.nom | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/timeout.nom b/lib/timeout.nom deleted file mode 100644 index dc5212d..0000000 --- a/lib/timeout.nom +++ /dev/null @@ -1,8 +0,0 @@ -require "lib/core.nom" -rule [cap at %num instructions] =: - lua code ".." - |print("capped at", \(%num)) - |local f = function() - | nomsu:error("Execution quota exceeded. Your code took too long.") - |end - |debug.sethook(f, "", \(%num)) |
