diff options
author | stuebinm | 2022-02-17 00:41:36 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:29:16 +0100 |
commit | 53fb449b008e9b6aed9877b9d33f4026e454e0f9 (patch) | |
tree | 1b95b0d7607426c66bd6173e0f1ff8c97a7b6541 /server/Worker.hs | |
parent | 252a4a3e1553295ffafbfa5150306f0f31dda8cd (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 |