[go: up one dir, main page]

Tezt/Cloud: Fix EOF handling

What

Fix EOF handling which is broken at the moment!

Why

It is broken!

How

The MR !14559 (merged) makes the handling better but it was still buggy. When pressing Ctrl+D, an exception is raised at top-level but not caught surprisingly. In any case, it was not caught by the eof loop.

The MR fixes this by making the next input returning a string option instead of a string. None will be returned once ctrl+d has been pressed once.

Manually testing the MR

dune exec tezt/tests/cloud/main.exe -- cloud dal -v --log-file /tmp/log --producers 1 --proxy

Once the proxy starts (after few minutes and logs are all blue), press Ctrl+D. Then rerun the command to re-attach. You can end the test by pressing Ctrl+C, wait a little bit, then Ctrl+D. Don't forget to destroy the machines.

Merge request reports

Loading