diff options
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 "", |