search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Make the HTTP bind interface configurable #9

Open viper-admin opened 4 years ago

viper-admin commented 4 years ago

Pull request :twisted_rightwards_arrows: created by bitbucket user tehwalris on 2019-03-14 14:01 Last updated on 2020-02-03 15:46 Original Bitbucket pull request id: 9

Source: https://github.com/viperproject/viperserver/commit/2be3c1a9396115387c8fc853f8fc4720fb22847a on branch tehwalris/viperserver/default Destination: https://github.com/viperproject/viperserver/commit/7cc7ce5224a723ab1fcdbe2e7ea0cbfbd727fcab on branch master

State: OPEN

When using ViperServer in Docker I need to connect to it from another container. For this to work, ViperServer must allow connecting from non-localhost IPs. This patch allows that as a command line option. The default behavior is unchanged.

aterga commented 4 years ago

Hi @vakaras , could you please post an update whether this PR is still useful for you? If yes, could you please explain in a few words what the purpose of TimingLog is that is extensively used in the PR. Otherwise, I'm happy to merge it.

vakaras commented 4 years ago

As far as I understand, this was needed for benchmarking Viper tools. @alexanderjsummers was the supervisor.