diff options
| -rw-r--r-- | scripts/GeneratePublishReport.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/GeneratePublishReport.py b/scripts/GeneratePublishReport.py index 0293bdbb44..274203e5cf 100644 --- a/scripts/GeneratePublishReport.py +++ b/scripts/GeneratePublishReport.py @@ -1,6 +1,8 @@ #coding=UTF-8 import argparse, cgi +from os.path import exists, isdir +from os import makedirs parser = argparse.ArgumentParser(description="Post-publish report generator") parser.add_argument("version", type=str, help="Vaadin version that was just built") @@ -8,6 +10,13 @@ parser.add_argument("buildResultUrl", type=str, help="URL for the build result p args = parser.parse_args() +resultPath = "result" +if not exists(resultPath): + makedirs(resultPath) +elif not isdir(resultPath): + print("Result path is not a directory.") + sys.exit(1) + (major, minor, maintenance) = args.version.split(".", 2) prerelease = "." in maintenance if prerelease: |