diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-01-31 13:39:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-31 13:39:41 +0100 |
commit | 02eb11450b4151b02db861b5029783e52e16c603 (patch) | |
tree | 5a898256e6cf80410210d719a711bbc3df5c31c6 /platform | |
parent | f351cf1b8d19a6dbdfbe2f15e03709e921fd3c20 (diff) | |
parent | fad0cec272e4ad047aa0870ec6fd674054a6f6ca (diff) |
Merge pull request #45539 from madmiraal/fix-handling-baseexception
Don't handle BaseException in JavaScript build script
Diffstat (limited to 'platform')
-rw-r--r-- | platform/javascript/detect.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index 76683da947..653d18f791 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -57,12 +57,11 @@ def get_flags(): def configure(env): - if not isinstance(env["initial_memory"], int): - try: - env["initial_memory"] = int(env["initial_memory"]) - except: - print("Initial memory must be a valid integer") - sys.exit(255) + try: + env["initial_memory"] = int(env["initial_memory"]) + except Exception: + print("Initial memory must be a valid integer") + sys.exit(255) ## Build type if env["target"] == "release": |