zhulingjie d4479c1bd2 Replace port 35357 with 5000 ...

Now that the v2.0 API has been removed, we don't have a reason to
include deployment instructions for two separate applications on
different ports.

Change-Id: Ifb06f5f66db45312c87b07aa77195c77d9a2668c

2018-07-18 13:21:48 +02:00

..

site.pp

Replace port 35357 with 5000

2018-07-18 13:21:48 +02:00