viperproject / viperserver

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

Fixes Termination of HTTP Server #38

Closed ArquintL closed 3 years ago

ArquintL commented 3 years ago

The HTTP server now offers a way to await its shutdown. The Terminator actor no longer uses some actor system and execution context but takes VerificationExecutionContext. However, the execution context is not terminated but is an obligation of clients to terminate when appropriate.