"Web Server" always uses port 8000
Created originally on Bitbucket by Anonymous
I have set port 8001 in the [web] sections of both mercurial.ini and the repository hgrc. Nonetheless, selecting "Web Server" from the context menu always starts the server on port 8000.
In contrast, running "hg serve" on the command line correctly uses port 8001.