IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Use minified output when not in debug mode, and non-minified when debugging.

Browse Source 
Update jQuery while we're at it.
This commit is contained in:
Dave Page
2015-02-12 10:28:15 +00:00
parent afb029e284
commit bb6a3f9b5b
10 changed files with 10391 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
web/pgadmin/settings/__init__.py
View File

@@ -17,8 +17,6 @@ from settings_model import db, Setting
def store_setting(setting, value):
"""Set a configuration setting for the current user."""
db.init_app(current_app)
data = Setting(user_id=current_user.id, setting=setting, value=value)
db.session.merge(data)
@@ -27,8 +25,6 @@ def store_setting(setting, value):
def get_setting(setting, default=None):
"""Retrieve a configuration setting for the current user, or return the
default value specified by the caller."""
db.init_app(current_app)
data = Setting.query.filter_by(user_id=current_user.id, setting=setting).first()
if not data or data.value is None: