[galaxy-commits] galaxy-dist commit e5c40bd9c179: Set a default (database/universe.sqlite) in manage_db.py in case the deprecated database_file is unset