convert port to an int before passing it to httplib.HTTPSConnection(). It
authorStephen Soltesz <soltesz@cs.princeton.edu>
Thu, 3 Jul 2008 22:23:14 +0000 (22:23 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Thu, 3 Jul 2008 22:23:14 +0000 (22:23 +0000)
commit254820d6fd220e4aa47507b32053a4ff9337630d
treeb40994e93ec0f1a5e37913e04e1018914a3b2467
parentd7fa2c7d3510fe14ece14cf8ae4fcf9f637e21ad
convert port to an int before passing it to httplib.HTTPSConnection().  It
fails otherwise.

Also, rename a local variable from 'int' to 'inter' to make available the
conversion function for the above.
source/steps/WriteNetworkConfig.py