Commit f2715d2e authored by Dom Sekotill's avatar Dom Sekotill
Browse files

Add BrokenResourceError to caught exceptions in runner

Fixes #2
parent 5c73f283
Loading
Loading
Loading
Loading
+5 −1
Original line number Diff line number Diff line
@@ -97,7 +97,11 @@ class Runner:
			while 1:
				try:
					buff[:] = await client.receive(buff.available)
				except (anyio.EndOfStream, anyio.ClosedResourceError):
				except (
					anyio.EndOfStream,
					anyio.ClosedResourceError,
					anyio.BrokenResourceError,
				):
					for channel in channels:
						await channel.aclose()
					return