Compare commits
No commits in common. "63bba3a6d30e5fd73c71fd7da752b2647d94f58e" and "22537d87eea77721d1f56a9690c51ffcb64f7390" have entirely different histories.
63bba3a6d3
...
22537d87ee
2 changed files with 14 additions and 49 deletions
|
@ -581,10 +581,6 @@ putOpMsg cmd requestId flagBit params = do
|
||||||
putInt32 (bit $ bitOpMsg $ ExhaustAllowed)
|
putInt32 (bit $ bitOpMsg $ ExhaustAllowed)
|
||||||
putInt8 0
|
putInt8 0
|
||||||
putDocument pre
|
putDocument pre
|
||||||
Message{..} -> do
|
|
||||||
putInt32 biT
|
|
||||||
putInt8 0
|
|
||||||
putDocument $ merge [ "$db" =: mDatabase ] mParams
|
|
||||||
Kc k -> case k of
|
Kc k -> case k of
|
||||||
KillC{..} -> do
|
KillC{..} -> do
|
||||||
let n = T.splitOn "." kFullCollection
|
let n = T.splitOn "." kFullCollection
|
||||||
|
@ -660,11 +656,7 @@ data Request =
|
||||||
} | GetMore {
|
} | GetMore {
|
||||||
gFullCollection :: FullCollection,
|
gFullCollection :: FullCollection,
|
||||||
gBatchSize :: Int32,
|
gBatchSize :: Int32,
|
||||||
gCursorId :: CursorId
|
gCursorId :: CursorId}
|
||||||
} | Message {
|
|
||||||
mDatabase :: Text,
|
|
||||||
mParams :: Document
|
|
||||||
}
|
|
||||||
deriving (Show, Eq)
|
deriving (Show, Eq)
|
||||||
|
|
||||||
data QueryOption =
|
data QueryOption =
|
||||||
|
@ -684,7 +676,6 @@ data QueryOption =
|
||||||
qOpcode :: Request -> Opcode
|
qOpcode :: Request -> Opcode
|
||||||
qOpcode Query{} = 2004
|
qOpcode Query{} = 2004
|
||||||
qOpcode GetMore{} = 2005
|
qOpcode GetMore{} = 2005
|
||||||
qOpcode Message{} = 2013
|
|
||||||
|
|
||||||
opMsgOpcode :: Opcode
|
opMsgOpcode :: Opcode
|
||||||
opMsgOpcode = 2013
|
opMsgOpcode = 2013
|
||||||
|
@ -705,10 +696,6 @@ putRequest request requestId = do
|
||||||
putCString gFullCollection
|
putCString gFullCollection
|
||||||
putInt32 gBatchSize
|
putInt32 gBatchSize
|
||||||
putInt64 gCursorId
|
putInt64 gCursorId
|
||||||
Message{..} -> do
|
|
||||||
putInt32 0
|
|
||||||
putInt8 0
|
|
||||||
putDocument $ merge [ "$db" =: mDatabase ] mParams
|
|
||||||
|
|
||||||
qBit :: QueryOption -> Int32
|
qBit :: QueryOption -> Int32
|
||||||
qBit TailableCursor = bit 1
|
qBit TailableCursor = bit 1
|
||||||
|
|
|
@ -1305,9 +1305,9 @@ find q@Query{selection, batchSize} = do
|
||||||
qr <- queryRequestOpMsg False q
|
qr <- queryRequestOpMsg False q
|
||||||
let newQr =
|
let newQr =
|
||||||
case fst qr of
|
case fst qr of
|
||||||
Req P.Query{..} ->
|
Req qry ->
|
||||||
let coll = last $ T.splitOn "." qFullCollection
|
let (_db, coll) = splitDot (qFullCollection qry)
|
||||||
in (Req $ P.Query {qSelector = merge qSelector [ "find" =: coll ], ..}, snd qr)
|
in (Req $ qry {qSelector = merge (qSelector qry) [ "find" =: coll ]}, snd qr)
|
||||||
-- queryRequestOpMsg only returns Cmd types constructed via Req
|
-- queryRequestOpMsg only returns Cmd types constructed via Req
|
||||||
_ -> error "impossible"
|
_ -> error "impossible"
|
||||||
dBatch <- liftIO $ requestOpMsg pipe newQr []
|
dBatch <- liftIO $ requestOpMsg pipe newQr []
|
||||||
|
@ -1345,9 +1345,6 @@ findCommand q@Query{..} = do
|
||||||
| predicate a = Just (f a)
|
| predicate a = Just (f a)
|
||||||
| otherwise = Nothing
|
| otherwise = Nothing
|
||||||
|
|
||||||
isHandshake :: Document -> Bool
|
|
||||||
isHandshake = (== ["isMaster" =: (1 :: Int32)])
|
|
||||||
|
|
||||||
findOne :: (MonadIO m) => Query -> Action m (Maybe Document)
|
findOne :: (MonadIO m) => Query -> Action m (Maybe Document)
|
||||||
-- ^ Fetch first document satisfying query or @Nothing@ if none satisfy it
|
-- ^ Fetch first document satisfying query or @Nothing@ if none satisfy it
|
||||||
findOne q = do
|
findOne q = do
|
||||||
|
@ -1357,7 +1354,8 @@ findOne q = do
|
||||||
rq <- liftIO $ request pipe [] qr
|
rq <- liftIO $ request pipe [] qr
|
||||||
Batch _ _ docs <- liftDB $ fulfill rq
|
Batch _ _ docs <- liftDB $ fulfill rq
|
||||||
return (listToMaybe docs)
|
return (listToMaybe docs)
|
||||||
if isHandshake (selector $ selection q)
|
isHandshake = (== ["isMaster" =: (1 :: Int32)]) $ selector $ selection q :: Bool
|
||||||
|
if isHandshake
|
||||||
then legacyQuery
|
then legacyQuery
|
||||||
else do
|
else do
|
||||||
let sd = P.serverData pipe
|
let sd = P.serverData pipe
|
||||||
|
@ -1367,14 +1365,14 @@ findOne q = do
|
||||||
qr <- queryRequestOpMsg False q {limit = 1}
|
qr <- queryRequestOpMsg False q {limit = 1}
|
||||||
let newQr =
|
let newQr =
|
||||||
case fst qr of
|
case fst qr of
|
||||||
Req P.Query{..} ->
|
Req qry ->
|
||||||
let coll = last $ T.splitOn "." qFullCollection
|
let (_db, coll) = splitDot (qFullCollection qry)
|
||||||
-- We have to understand whether findOne is called as
|
-- We have to understand whether findOne is called as
|
||||||
-- command directly. This is necessary since findOne is used via
|
-- command directly. This is necessary since findOne is used via
|
||||||
-- runCommand as a vehicle to execute any type of commands and notices.
|
-- runCommand as a vehicle to execute any type of commands and notices.
|
||||||
labels = catMaybes $ map (\f -> look f qSelector) (noticeCommands ++ adminCommands) :: [Value]
|
labels = catMaybes $ map (\f -> look f $ qSelector qry) (noticeCommands ++ adminCommands) :: [Value]
|
||||||
in if null labels
|
in if null labels
|
||||||
then (Req P.Query {qSelector = merge qSelector [ "find" =: coll ], ..}, snd qr)
|
then (Req $ qry {qSelector = merge (qSelector qry) [ "find" =: coll ]}, snd qr)
|
||||||
else qr
|
else qr
|
||||||
_ -> error "impossible"
|
_ -> error "impossible"
|
||||||
rq <- liftIO $ requestOpMsg pipe newQr []
|
rq <- liftIO $ requestOpMsg pipe newQr []
|
||||||
|
@ -1561,7 +1559,7 @@ requestOpMsg pipe (Req r, remainingLimit) params = do
|
||||||
promise <- liftIOE ConnectionFailure $ P.callOpMsg pipe r Nothing params
|
promise <- liftIOE ConnectionFailure $ P.callOpMsg pipe r Nothing params
|
||||||
let protectedPromise = liftIOE ConnectionFailure promise
|
let protectedPromise = liftIOE ConnectionFailure promise
|
||||||
return $ fromReply remainingLimit =<< protectedPromise
|
return $ fromReply remainingLimit =<< protectedPromise
|
||||||
requestOpMsg _ _ _ = error "requestOpMsg: Only messages of type Query are supported"
|
requestOpMsg _ (Nc _, _) _ = error "requestOpMsg: Only messages of type Query are supported"
|
||||||
|
|
||||||
fromReply :: Maybe Limit -> Reply -> DelayedBatch
|
fromReply :: Maybe Limit -> Reply -> DelayedBatch
|
||||||
-- ^ Convert Reply to Batch or Failure
|
-- ^ Convert Reply to Batch or Failure
|
||||||
|
@ -1879,29 +1877,9 @@ type Command = Document
|
||||||
-- ^ A command is a special query or action against the database. See <http://www.mongodb.org/display/DOCS/Commands> for details.
|
-- ^ A command is a special query or action against the database. See <http://www.mongodb.org/display/DOCS/Commands> for details.
|
||||||
|
|
||||||
runCommand :: (MonadIO m) => Command -> Action m Document
|
runCommand :: (MonadIO m) => Command -> Action m Document
|
||||||
runCommand params = do
|
-- ^ Run command against the database and return its result
|
||||||
pipe <- asks mongoPipe
|
runCommand c = fromMaybe err <$> findOne (query c "$cmd") where
|
||||||
if isHandshake params || maxWireVersion (P.serverData pipe) < 17
|
err = error $ "Nothing returned for command: " ++ show c
|
||||||
then runCommandLegacy pipe params
|
|
||||||
else runCommand' pipe params
|
|
||||||
|
|
||||||
runCommandLegacy :: MonadIO m => Pipe -> Selector -> ReaderT MongoContext m Document
|
|
||||||
runCommandLegacy pipe params = do
|
|
||||||
qr <- queryRequest False (query params "$cmd") {limit = 1}
|
|
||||||
rq <- liftIO $ request pipe [] qr
|
|
||||||
Batch _ _ docs <- liftDB $ fulfill rq
|
|
||||||
case docs of
|
|
||||||
[doc] -> pure doc
|
|
||||||
_ -> error $ "Nothing returned for command: " <> show params
|
|
||||||
|
|
||||||
runCommand' :: MonadIO m => Pipe -> Selector -> ReaderT MongoContext m Document
|
|
||||||
runCommand' pipe params = do
|
|
||||||
ctx <- ask
|
|
||||||
rq <- liftIO $ requestOpMsg pipe ( Req (P.Message (mongoDatabase ctx) params), Just 1) []
|
|
||||||
Batch _ _ docs <- liftDB $ fulfill rq
|
|
||||||
case docs of
|
|
||||||
[doc] -> pure doc
|
|
||||||
_ -> error $ "Nothing returned for command: " <> show params
|
|
||||||
|
|
||||||
runCommand1 :: (MonadIO m) => Text -> Action m Document
|
runCommand1 :: (MonadIO m) => Text -> Action m Document
|
||||||
-- ^ @runCommand1 foo = runCommand [foo =: 1]@
|
-- ^ @runCommand1 foo = runCommand [foo =: 1]@
|
||||||
|
|
Loading…
Reference in a new issue