| Index: chrome/common/extensions/docs/server2/refresh_servlet.py
|
| diff --git a/chrome/common/extensions/docs/server2/refresh_servlet.py b/chrome/common/extensions/docs/server2/refresh_servlet.py
|
| index cf536bd4db74cb5d585dda221d4db970e58b23e5..3c8d4e3390aa064dd17692f06aa4775eda44ac8c 100644
|
| --- a/chrome/common/extensions/docs/server2/refresh_servlet.py
|
| +++ b/chrome/common/extensions/docs/server2/refresh_servlet.py
|
| @@ -90,6 +90,12 @@ class RefreshServlet(Servlet):
|
| commit_tracker = CommitTracker(server_instance.object_store_creator)
|
| refresh_tracker = RefreshTracker(server_instance.object_store_creator)
|
|
|
| + # If no commit was given, use the ID of the last cached master commit.
|
| + # This allows sources external to the chromium repository to be updated
|
| + # independently from individual refresh cycles.
|
| + if commit is None:
|
| + commit = commit_tracker.Get('master').Get()
|
| +
|
| success = True
|
| try:
|
| if source_name == 'platform_bundle':
|
|
|