Reading body of request is not guaranteed to read entire body

[dpgeorge]

The code used to read the body of the request is:

        # body
        body = await client_stream.read(content_length) if content_length and \
            content_length <= Request.max_content_length else b''

But asyncio.Stream.read(n) is not guaranteed to read exactly n bytes, it may return a shorter read than that. In such a case only part of the body is read.

Is this expected behaviour of microdot (to not always read the whole body), or is it a bug, which can be fixed by using readexactly?

[miguelgrinberg]

Thanks. Using readexactly seems better, I'll change it.

[dpgeorge]

Using readexactly seems better, I'll change it.

Great!

I didn't check the standard (non-asyncio) code. It may also need fixing.