Merge branch 'master' of gitlab.uniworx.de:fradrive/fradrive

This commit is contained in:
Steffen Jost 2023-06-05 08:08:18 +00:00
commit 3322d965ce
6 changed files with 12 additions and 11 deletions

1
.gitignore vendored
View File

@ -51,3 +51,4 @@ tunnel.log
**/result
**/result-*
.develop.cmd
/.vscode

View File

@ -254,7 +254,7 @@ instance FromJSON AvsLicence where
parseJSON (Number n) | n == 1 = pure AvsLicenceVorfeld -- ordered by occurrence, n==1 is most common case
| n == 2 = pure AvsLicenceRollfeld
| n == 0 = pure AvsNoLicence
-- | n ==(-1) = pure AvsNoLicenceGuest -- InfoContact may send -1 for Guest unable to obtain a licence
{- | n ==(-1) = pure AvsNoLicenceGuest -- InfoContact may send -1 for Guest unable to obtain a licence -}
#ifdef DEVELOPMENT
parseJSON invalid = prependFailure "parsing AvsLicence failed, " $ fail $ "expected Int value being 0, 1 or 2. Found " ++ show invalid
#else

View File

@ -101,7 +101,7 @@ splitQuery :: (Wrapped a, Wrapped c, Unwrapped a ~ Set b, Semigroup (Unwrapped c
splitQuery rawQuery q
| avsMaxQueryAtOnce >= Set.size s = rawQuery q
| otherwise = do
-- $logInfoS "AVS" $ "Splitting large query for input Set " <> tshow (Set.size s) -- would require MonadLogger ClientM
-- logInfoS "AVS" $ "Splitting large query for input Set " <> tshow (Set.size s) -- would require MonadLogger ClientM
let (avsid1, avsid2) = Set.splitAt avsMaxQueryAtOnce s
res1 <- rawQuery $ view _Unwrapped' avsid1
res2 <- splitQuery rawQuery $ view _Unwrapped' avsid2

View File

@ -56,11 +56,11 @@ recodeCsv encOpts toUser act = fromMaybe act $ do
inp <- C.sinkLazy
inp' <- recode inp
sourceLazy inp' .| act
-- -- | FormatXlsx <- fmt -> do
-- -- inp <- C.sinkLazy
-- -- archive <- throwLeft $ Zip.toArchiveOrFail inp
-- -- archive' <- traverseOf (_zEntries . traverse . _Entrty . _3) recode archive
-- -- sourceLazy (Zip.fromArchive inp') .| act
-- | FormatXlsx <- fmt -> do
-- inp <- C.sinkLazy
-- archive <- throwLeft $ Zip.toArchiveOrFail inp
-- archive' <- traverseOf (_zEntries . traverse . _Entrty . _3) recode archive
-- sourceLazy (Zip.fromArchive inp') .| act
| otherwise -> act
where