[galaxyproject/galaxy] 99c2a6: API: add server_starttime to api/configuration
Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: 99c2a6b623ef063d9b3611d7b5621b737cbe12ab https://github.com/galaxyproject/galaxy/commit/99c2a6b623ef063d9b3611d7b5621... Author: carlfeberhard <carlfeberhard@gmail.com> Date: 2016-04-11 (Mon, 11 Apr 2016) Changed paths: M lib/galaxy/managers/configuration.py M lib/galaxy/web/framework/base.py M lib/galaxy/web/framework/helpers/__init__.py Log Message: ----------- API: add server_starttime to api/configuration Adds key server_starttime to the JSON returned from api/configuration. This is the epoch time since the last server restart and may be convenient for use in client-side caching. This moves server_starttime from web/framework/helpers/__init__.py (for use in script cache-busting) to web/framework/base.py. On the client, this should be available to all pages as: Galaxy.config.server_starttime. Commit: ebb3c1fcec988a96f2cd46309096140087ba5aaf https://github.com/galaxyproject/galaxy/commit/ebb3c1fcec988a96f2cd463090961... Author: Dannon Baker <dannon.baker@gmail.com> Date: 2016-04-11 (Mon, 11 Apr 2016) Changed paths: M lib/galaxy/managers/configuration.py M lib/galaxy/web/framework/base.py M lib/galaxy/web/framework/helpers/__init__.py Log Message: ----------- Merge pull request #2124 from carlfeberhard/config-restart-time API: add server_starttime to api/configuration Compare: https://github.com/galaxyproject/galaxy/compare/bf83b39e0d30...ebb3c1fcec98
participants (1)
-
GitHub