Stop emitting SubmissionFilesIgnored when nothing was ignored
This commit is contained in:
parent
e7e3404de0
commit
b80f9e79e4
@ -235,8 +235,9 @@ extractRatingsMsg = do
|
|||||||
ignored' <- filterSubmission `fuseUpstream` Rating.extractRatings
|
ignored' <- filterSubmission `fuseUpstream` Rating.extractRatings
|
||||||
let ignored :: Set (Either CryptoFileNameSubmission FilePath)
|
let ignored :: Set (Either CryptoFileNameSubmission FilePath)
|
||||||
ignored = Right `Set.map` ignored'
|
ignored = Right `Set.map` ignored'
|
||||||
mr <- (toHtml . ) <$> getMessageRender
|
unless (null ignored) $ do
|
||||||
addMessage "warning" =<< withUrlRenderer ($(ihamletFile "templates/messages/submissionFilesIgnored.hamlet") mr)
|
mr <- (toHtml . ) <$> getMessageRender
|
||||||
|
addMessage "warning" =<< withUrlRenderer ($(ihamletFile "templates/messages/submissionFilesIgnored.hamlet") mr)
|
||||||
|
|
||||||
sinkSubmission :: UserId
|
sinkSubmission :: UserId
|
||||||
-> Either SheetId SubmissionId
|
-> Either SheetId SubmissionId
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user