-
Martin Nolte authored
The `HTTPBuilder` uses a server process to do the actual compilation of the just-in-time compiled Python modules. For client-server communication, the established HTTP protocol is used. Having a separate build process allows to run several Python programs using the same `dune-py` module. Any conflicts are managed by the single server process performing the actual build.
a3bf5967