Dataset/dockerfiles/http-patch-spring.dockerfile at master · WebFuzzing/Dataset · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
FROM amazoncorretto:11-alpine-jdk

COPY ./dist/http-patch-spring-sut.jar .
COPY ./dist/jacocoagent.jar .


#ENV TOOL="undefined"
#ENV RUN="0"

ENTRYPOINT \
    java \
#    unfortunately dumponexit is completely unreliable in Docker :(
#    -javaagent:jacocoagent.jar=destfile=./jacoco/http-patch-spring__${TOOL}__${RUN}__jacoco.exec,append=false,dumponexit=true \
    -javaagent:jacocoagent.jar=output=tcpserver,address=*,port=6300,append=false,dumponexit=false \
     -jar http-patch-spring-sut.jar \
    --server.port=8080