diff options
author | Andy Rickert <andrew_rickert@brown.edu> | 2020-05-12 17:37:54 -0700 |
---|---|---|
committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-05-12 17:37:54 -0700 |
commit | 9ad062907d38a7a853ba89fa31433380ae3cd7b3 (patch) | |
tree | 707855e1bc6fa8ac3d1f51447815a51eb83b8aa3 /src/client/util/Scripting.ts | |
parent | 1848c78f889470d6c558f709efe1b521402b2793 (diff) | |
parent | 4bd011dcc6a3f009fa10932c7c6ca1932b784fde (diff) |
merge
Diffstat (limited to 'src/client/util/Scripting.ts')
-rw-r--r-- | src/client/util/Scripting.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/Scripting.ts b/src/client/util/Scripting.ts index 12628273b..8b7b9c9c7 100644 --- a/src/client/util/Scripting.ts +++ b/src/client/util/Scripting.ts @@ -136,7 +136,7 @@ function Run(script: string | undefined, customParams: string[], diagnostics: an if (batch) { batch.end(); } - onError && onError(error); + onError?.(error); return { success: false, error, result: errorVal }; } }; |