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>
def paste_app_factory(global_config, **app_config):
# Get the database connection
+ port = int(app_config.get('db_port'))
connection = mongokit.Connection(
- app_config.get('db_host'), app_config.get('db_port'))
+ app_config.get('db_host'), port)
# Set up the storage systems.
public_store = storage.storage_system_from_paste_config(