diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-05-18 00:36:15 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-05-18 14:22:23 +0200 |
| commit | 689c873ff68b6c8fd66740603dad6efa3bf8ab47 (patch) | |
| tree | ef21ebff0d2cd8ff37208f760c33c9f2ee950f94 /opendc-web/opendc-web-runner/Dockerfile | |
| parent | 3c4afb14452f2ae28d66b349f080b5dea8b1366b (diff) | |
refactor(web/runner): Move runner CLI into separate configuration
This change splits the command line interface from the OpenDC web runner
into a separate configuration. We plan to re-use the runner code for a Quarkus
extension that integrates the runner in development mode.
Diffstat (limited to 'opendc-web/opendc-web-runner/Dockerfile')
| -rw-r--r-- | opendc-web/opendc-web-runner/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/opendc-web/opendc-web-runner/Dockerfile b/opendc-web/opendc-web-runner/Dockerfile index b72f8a7f..bb606f4e 100644 --- a/opendc-web/opendc-web-runner/Dockerfile +++ b/opendc-web/opendc-web-runner/Dockerfile @@ -1,4 +1,4 @@ -FROM openjdk:17-slim +FROM openjdk:18-slim MAINTAINER OpenDC Maintainers <opendc@atlarge-research.com> # Obtain (cache) Gradle wrapper |