Merge pull request #12497 from Budibase/chore/fix-typing-conflicting-in-account-portal

[Chore] Remove conflicting typing
This commit is contained in:
Adria Navarro 2023-12-04 15:21:16 +01:00 committed by GitHub
commit 661735a3fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -109,7 +109,7 @@ export async function doWithLock<T>(
): Promise<RedlockExecution<T>> { ): Promise<RedlockExecution<T>> {
const redlock = await getClient(opts.type, opts.customOptions) const redlock = await getClient(opts.type, opts.customOptions)
let lock: Redlock.Lock | undefined let lock: Redlock.Lock | undefined
let timeout: NodeJS.Timeout | undefined let timeout
try { try {
const name = getLockName(opts) const name = getLockName(opts)