mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web.git synced 2024-12-01 08:57:35 +03:00
Code Issues Projects Releases Packages Wiki Activity

Merge remote-tracking branch 'origin/develop' into develop

Browse source
This commit is contained in:
Weblate 2017-07-20 10:25:25 +00:00
commit e133160a68
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/redeploy.py
View file

@ -13,6 +13,7 @@
from __future__ import print_function from __future__ import print_function
import json, requests, tarfile, argparse, os, errno import json, requests, tarfile, argparse, os, errno
import time import time
import traceback
from urlparse import urljoin from urlparse import urljoin
from flask import Flask, jsonify, request, abort from flask import Flask, jsonify, request, abort
@ -124,6 +125,7 @@ def fetch_jenkins_build(job_name, build_num):
try: try:
extracted_dir = deploy_tarball(tar_gz_url, build_dir) extracted_dir = deploy_tarball(tar_gz_url, build_dir)
except DeployException as e: except DeployException as e:
traceback.print_exc()
abort(400, e.message) abort(400, e.message)
create_symlink(source=extracted_dir, linkname=arg_symlink) create_symlink(source=extracted_dir, linkname=arg_symlink)