| Index: devserver.py
|
| diff --git a/devserver.py b/devserver.py
|
| index eecab049558a3c68796e8daefec6fb98e2095028..e4516a8a6231f0c229de1c0230bd4c3a18ae1576 100644
|
| --- a/devserver.py
|
| +++ b/devserver.py
|
| @@ -93,6 +93,8 @@ if __name__ == '__main__':
|
| parser.add_option('-t', action='store_true', dest='test_image')
|
| parser.add_option('-u', '--urlbase', dest='urlbase',
|
| help='base URL, other than devserver, for update images.')
|
| + parser.add_option('--use_cached', action="store_true", default=False,
|
| + help='Prefer cached image regardless of timestamps.')
|
| parser.add_option('--validate_factory_config', action="store_true",
|
| dest='validate_factory_config',
|
| help='Validate factory config file, then exit.')
|
| @@ -124,7 +126,8 @@ if __name__ == '__main__':
|
| test_image=options.test_image,
|
| factory_config_path=options.factory_config,
|
| client_prefix=options.client_prefix,
|
| - forced_image=options.image)
|
| + forced_image=options.image,
|
| + use_cached=options.use_cached)
|
|
|
| if options.factory_config:
|
| updater.ImportFactoryConfigFile(options.factory_config,
|
|
|