change dev port

Author: pdurbin

README.md

@@ -22,7 +22,7 @@ This is very much a work in progress. Please feel free to join the [discussion](
 ./run.sh
 ```
 
-Then open <http://localhost:8080/people.dataverse.org/>
+Then open <http://localhost:7000/people.dataverse.org/>
 
 ## Refresh the bundled snapshot
 

run.sh

@@ -1,5 +1,5 @@
 #!/bin/sh
-docker run -p 8080:80 \
+docker run -p 7000:80 \
   -v ./nginx.conf:/etc/nginx/nginx.conf \
   -v ./404.html:/usr/share/nginx/html/404.html \
   -v "$(pwd)/:/usr/share/nginx/html" \