You are working on the tornadoweb/tornado repository. The source code is checked out at /testbed at commit…

You are working on the tornadoweb/tornado repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). This should imply that the HTTP server must reject requests with redundant Host headers or requests with missing Host headers. But in both…

The task

This should imply that the HTTP server must reject requests with redundant `Host` headers or requests with missing `Host` headers. But in both cases, tornado did not reject.

Part of Lego-X/Lego-RL-2699.