added -Dhttp.port=$SRVPORT in jenkins post proc script, since default port was still 9000.
added -Dhttp.port=$SRVPORT in jenkins post proc script, since default port was still 9000.

bisigc/art,bisigc/art,bisigc/art,bisigc/art