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