From 74220dba9db6a1dc5c0b504b0230de26ef9c9dd5 Mon Sep 17 00:00:00 2001 From: Chocobozzz Date: Tue, 15 Mar 2022 09:21:05 +0100 Subject: [PATCH] Fix username/password CLI options --- server/tools/cli.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/server/tools/cli.ts b/server/tools/cli.ts index 671b56ed0..a15d73fb4 100644 --- a/server/tools/cli.ts +++ b/server/tools/cli.ts @@ -73,10 +73,10 @@ function getRemoteObjectOrDie ( ): { url: string, username: string, password: string } { const options = program.opts() - function exitIfNoOptions (options: string[], errorPrefix: string = '') { + function exitIfNoOptions (optionNames: string[], errorPrefix: string = '') { let exit = false - for (const key of options) { + for (const key of optionNames) { if (!options[key]) { if (exit === false && errorPrefix) console.error(errorPrefix)