I prefer another approach, instead of proposed by you.
Yes, your approach is better (I tried to minimize the fix and didn't notice the label change). But with the patch applied I get the following error:
File "/data/sources/pgadmin4/lib/python2.7/site-packages/pgadmin4/pgadmin/__init__.py", line 246, in get_locale 'miscellaneous', 'user_language' File "/data/sources/pgadmin4/lib/python2.7/site-packages/pgadmin4/pgadmin/utils/preferences.py", line 502, in raw_value ).filter_by(uid=current_user.id).first() File "/data/sources/pgadmin4/lib/python2.7/site-packages/werkzeug/local.py", line 338, in __getattr__ return getattr(self._get_current_object(), name)
AttributeError: 'AnonymousUser' object has no attribute 'id'
Looks like - I missed to logout, and test.
Please find the updated patch.
-- Thanks, Ashesh
Best regards, ------ Alexander Lakhin Postgres Professional: http://www.postgrespro.com The Russian Postgres Company