projects / mediagoblin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5b06bb) | patch
app.py: Need to pass in port number as 'int'
authorSebastian Spaeth <Sebastian@SSpaeth.de>
Sun, 8 May 2011 09:12:38 +0000 (11:12 +0200)
committerSebastian Spaeth <Sebastian@SSpaeth.de>
Sun, 8 May 2011 09:12:38 +0000 (11:12 +0200)
commit19f8a24e4187b81f18a0def87b2b170a40977ff1
tree2ce71319448707455816d0e48d3e62be88d02d9dtree | snapshot (zip tar.gz)
parenta5b06bb0750afd9d2751f92230d4dcb5c76d61c5commit | diff
app.py: Need to pass in port number as 'int'

When we configured an explicite db_port in mediagoblin.ini, paster would
crash claiming that the port number must be an int. Given that we don't
have a "get_conf_int()" function or something similar (yet?), simply
convert the port number to int before passing it to the mongo Connection
instance.

Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
mediagoblin/app.py diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.