Fix eio_main MDX issue
Fails with:
File "README.md", line 1, characters 0-0:
/usr/bin/git --no-pager diff --no-index --color=always -u _build/default/README.md _build/default/.mdx/README.md.corrected
diff --git a/_build/default/README.md b/_build/default/.mdx/README.md.corrected
index 9f12cc7..1f9ff06 100644
--- a/_build/default/README.md
+++ b/_build/default/.mdx/README.md.corrected
@@ -1509,6 +1509,10 @@ let main ~config_changed =
)
done
```
+```mdx-error
+Line 15, characters 12-23:
+Error: Unbound value load_config
+```
Unlike the cancellation case above, where we used `Fiber.first`,
here we use `Fiber.both` to wait until we have both read the previous version of the configuration
@@ -1560,6 +1564,7 @@ It can then be used like any other Eio flow:
let r = Eio.Buf_read.of_flow zero ~max_size:100 in
traceln "Got: %S" (Eio.Buf_read.take 4 r);;
+Got: "\000\000\000\000"
+
- : unit = ()
```