bug fix for recurring port number for doc download
Merge pull request #509 from safiyu/newissue

bug fix for recurring port number for doc download