Default ide value for zip export mode

2015-02-13 22:19:30 +02:00 · 2015-02-13 22:19:30 +02:00 · 37c0558f48
parent 4585f8aa11
commit 37c0558f48
1 changed files with 1 additions and 0 deletions
--- a/workspace_tools/export/init.py
+++ b/workspace_tools/export/init.py
@ -62,6 +62,7 @@ def export(project_path, project_name, ide, target, destination='/tmp/',
    if ide is None or ide == "zip":
        # Simple ZIP exporter
        try:
+            ide = "zip"
            exporter = zip.ZIP(target, tempdir, project_name, build_url_resolver, extra_symbols=extra_symbols)
            exporter.scan_and_copy_resources(project_path, tempdir)
            exporter.generate()