Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix
qlever stop
taking a long time (#29)
The problem was that in the previous setup SIGNALS were not forwarded. Every `qlever stop` thus waited until docker forcefully terminated the container after 10s. `--init` starts an init process in the container that forwards SIGNALS. The containers now stop instantly. Some technical background: https://hynek.me/articles/docker-signals/
- Loading branch information