[guadec-web/oscp-2018] Port should be 8000

[Andrea Veri <averi src gnome org>]

commit 3714aa0278585a1542b982af8b9b402ea7f3dcc1
Author: Andrea Veri <averi redhat com>
Date:   Fri Sep 28 15:17:47 2018 +0200

    Port should be 8000

 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/Dockerfile b/Dockerfile
index c5b8b3d..b3aa596 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -34,7 +34,7 @@ RUN pelican -s publishconf.py -o public
 
 WORKDIR ${GUADEC_HOME}/public
 
-EXPOSE 8080
+EXPOSE 8000
 
 ENTRYPOINT ["python", "-m"]
 CMD ["pelican.server"]