Index: devserver.py |
diff --git a/devserver.py b/devserver.py |
index 0f6eeadf3fc308fc013ec0ddd5d6b76f419c1e30..7a435304cc94ca038188258d10568e6980d7a537 100755 |
--- a/devserver.py |
+++ b/devserver.py |
@@ -118,6 +118,8 @@ if __name__ == '__main__': |
help='Config file for serving images from factory floor.') |
parser.add_option('--image', dest='image', |
help='Force update using this image.') |
+ parser.add_option('-p', '--pregenerate_update', action='store_true', |
+ default=False, help='Pre-generate update payload.') |
parser.add_option('--port', default=8080, |
help='Port for the dev server to use.') |
parser.add_option('--src_image', default='', |
@@ -171,5 +173,7 @@ if __name__ == '__main__': |
# We don't run the dev server with this option. |
if options.validate_factory_config: |
sys.exit(0) |
+ elif options.pregenerate_update: |
+ updater.PreGenerateUpdate() |
cherrypy.quickstart(DevServerRoot(), config=_GetConfig(options)) |