Instead of PRSERV_HOST and PRSERV_PORT being two variables and undefined by default, how about merging them and having a sane default. PRSERV_HOST could be of the form "hostname:port" (fairly standard practise), and default to "localhost:0". By making that a default, activating the PR server is just USE_PR_SERV=1.
We decided to eliminate USE_PR_SERV and use PRSERV_HOST = "hostname:port" for activating PRS (patches sent to the mailing lists). Cheers, Constantin
Patches merged. (last commit 2f1aba504c592b5983d09e84cba71f86e8cea02a) Cheers, Constantin
Verified in master:7d22ef28e64de06b6238d0ef9b664c0bee6efa46