diff options
author | stuebinm | 2022-02-17 00:41:36 +0100 |
---|---|---|
committer | stuebinm | 2022-02-17 00:41:36 +0100 |
commit | faa244e1a7e760be88054a5f15b3e115ad8e32e5 (patch) | |
tree | 34cec7b74b49284f446aaf3073a551306d8ca5be /server/Worker.hs | |
parent | 487e06bf875ba8a835399b26095c756899b1209f (diff) |
sprinkle some NFData everywhere
(also some evaluateNF, leading to slightly less memory usage)
Diffstat (limited to '')
-rw-r--r-- | server/Worker.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server/Worker.hs b/server/Worker.hs index b5d71fc..91fa8e2 100644 --- a/server/Worker.hs +++ b/server/Worker.hs @@ -66,6 +66,7 @@ runJob config Job {..} done = do callgit gitdir [ "worktree", "add", "--force", workdir, toString ref ] res <- recursiveCheckDir (orgLintconfig jobOrg) workdir (orgEntrypoint jobOrg) + >>= evaluateNF setJobStatus done jobOrg jobRef $ Linted res rev |