Skip to content

Commit

Permalink
Merge pull request #1131 from GaloisInc/pnwamk-patch-1
Browse files Browse the repository at this point in the history
doc: update remote-api python README
  • Loading branch information
mergify[bot] authored Mar 16, 2021
2 parents 0cd1dc7 + d82ad26 commit 7c5c1fb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion saw-remote-api/python/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ cd saw-remote-api/python
E.g., here is how the docker image of the server might be used:
```
$ docker run --name=saw-remote-api -d \
-v $PWD/tests/saw/test-files:/home/saw/tests/test-files \
-v $PWD/tests/saw/test-files:/home/saw/tests/saw/test-files \
-p 8080:8080 \
galoisinc/saw-remote-api:nightly
$ export SAW_SERVER_URL="http://localhost:8080/"
Expand Down

0 comments on commit 7c5c1fb

Please sign in to comment.