def batch.init

ezmcp@0.1.0.0 · src/server.bend:292

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as Value
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

292def batch.init(id: Value.Json, msg: Rpc.Msg, init: Bool, srv: Server) -> Act:
293  match init:
294    case True{}:
295      Send{Rpc.reply(id, Rpc.Err{Rpc.InvalidRequest{},
296        "Invalid Request: initialize must not be part of a batch"})}
297    case False{}:
298      handle(srv, msg)