diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-05-07 01:35:11 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-05-07 01:35:11 -0400 |
| commit | 51a1f88b4e975946eb5ac8cef75a122e197cd872 (patch) | |
| tree | 9d56101ca7caf1f3625843d380f4493a16cde1bf /src/client/util/Scripting.ts | |
| parent | 7e2b162446a7f384ef2781fd786a97c21d1a172b (diff) | |
added batch requesting of list items. fixed some performance issues with tree views.
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 }; } }; |