diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2017-10-09 04:31:41 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2017-10-09 04:31:41 -0700 |
| commit | 9e1aaf2d5c43e5e3804ba9f6e3b29bf790cb75c8 (patch) | |
| tree | aa76826978444d227bc921da36609ff5e49aa307 /lib | |
| parent | e737333d2708d40c1dd8366d4e65583fc796df2a (diff) | |
Moved timeout code into compiler and out of a lib.
Diffstat (limited to 'lib')
| -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)) |