diff options
-rwxr-xr-x | bin/upload_symbols.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bin/upload_symbols.py b/bin/upload_symbols.py index f708797d65c9..07f3e3e415f7 100755 --- a/bin/upload_symbols.py +++ b/bin/upload_symbols.py @@ -13,10 +13,10 @@ def detect_platform(): return platform.system() def main(): - if len(sys.argv) != 4: + if len(sys.argv) < 4: print(sys.argv) print("Invalid number of parameters") - print("Usage: upload-symbols.py symbols.zip config.ini \"long explanation\"") + print("Usage: upload-symbols.py symbols.zip config.ini \"long explanation\" [--system]") sys.exit(1) upload_url = "http://crashreport.libreoffice.org/upload/" @@ -32,6 +32,9 @@ def main(): files = {'symbols': open(sys.argv[1], 'rb')} data = {'version': sys.argv[3], 'platform': platform} + if len(sys.argv) > 4 and sys.argv[4] == "--system": + data['system'] = True + session = requests.session() session.get(login_url) csrftoken = session.cookies['csrftoken'] |