diff options
Diffstat (limited to 'server')
-rw-r--r-- | server/tools/cli.ts | 4 |
1 files 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 ( | |||
73 | ): { url: string, username: string, password: string } { | 73 | ): { url: string, username: string, password: string } { |
74 | const options = program.opts() | 74 | const options = program.opts() |
75 | 75 | ||
76 | function exitIfNoOptions (options: string[], errorPrefix: string = '') { | 76 | function exitIfNoOptions (optionNames: string[], errorPrefix: string = '') { |
77 | let exit = false | 77 | let exit = false |
78 | 78 | ||
79 | for (const key of options) { | 79 | for (const key of optionNames) { |
80 | if (!options[key]) { | 80 | if (!options[key]) { |
81 | if (exit === false && errorPrefix) console.error(errorPrefix) | 81 | if (exit === false && errorPrefix) console.error(errorPrefix) |
82 | 82 | ||