1. 10 Nov, 2018 1 commit
    • hdeadman's avatar
      minor docker updates · 9611bf66
      hdeadman authored
      exec java in docker entrypoint so java is pid 1
      having java be pid 1 allows for stack dump via:
        docker kill --signal=QUIT cas
      put docker image in gradle.propertiees so non-slim can be used if tools
      like jstack are desired
  2. 09 Nov, 2018 2 commits