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
galaxy-commits@lists.galaxyproject.org