diff options
author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-05-31 13:33:34 +0300 |
---|---|---|
committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-05-31 13:33:34 +0300 |
commit | 3f3f967036b1fa1b989fbbf2fc4e52bd0b443b7b (patch) | |
tree | af8b3ecfd0b2e70a684b90ece1218ec15779939b /utils | |
parent | 07e26248e49e13a3443d28c3ffb6eeaa56c359e3 (diff) |
Flush stdout.
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/new-publish/publish | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/new-publish/publish b/utils/new-publish/publish index d799548..bae8ac0 100755 --- a/utils/new-publish/publish +++ b/utils/new-publish/publish @@ -51,6 +51,7 @@ if __name__ == "__main__": publib.upload_files(upload_script, REMOTE_HOST, COPY_USER_NAME, options.identity_copy, options) print "Propagating files to the downloads server" + sys.stdout.flush() rc = os.system("ssh -i %s %s@%s propagate.py %s %s %s" % (options.identity_trigger, TRIGGER_USER_NAME, REMOTE_HOST, "-s" if options.staging else "", |