Fantom-foundation / Norma

Integration project of Carmen and Tosca
GNU Lesser General Public License v3.0
2 stars 9 forks source link

Gracefull shutdown of client #287

Closed kjezek closed 3 days ago

kjezek commented 1 week ago

This PR enables gracefull shutdown of client (Sonic) inside the docker container.

Before this change, the container was only stopped, but it did not wait for the client to stop. It was not needed originally, but now feature requests are arising to export data from client after execution. For this reason, the client must stop gracefully to keep the database in a consistent state.

This PR enables init, which is a feature of docker that makes sure that signals like SIGINT are propagated to subprocesses. Furthermore, timeouts to stop the container were added, and signal sent to container was set to SIGINT.

TODO