Skip to content

Commit

Permalink
Update Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
@st-vi
st-vi authored Nov 10, 2023
1 parent 91f82c3 commit b598f4c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions WebSocketLanguageServer/Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ FROM node:18
WORKDIR /usr/src/app

RUN apt-get update
RUN apt-get install z3
# RUN apt-get install z3

COPY package*.json ./

Expand All @@ -15,4 +15,4 @@ EXPOSE 30000

RUN npm run build

CMD [ "npm", "run", "start" ]
CMD [ "npm", "run", "start" ]

0 comments on commit b598f4c

Please sign in to comment.