Fix username/password CLI options

diff --git a/server/tools/cli.ts b/server/tools/cli.ts
index 671b56ed0819650b9128cad9f874fafb943e1972..a15d73fb404d633c1af5a44bf9ece504847f75df 100644 (file)
--- 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)