@@ 183-187 (lines=5) @@ | ||
180 | ||
181 | // query whether or not a system name has been specified as command line |
|
182 | // option, if yes override the value from the configuration file |
|
183 | if (($input->hasOptionSpecified(InputOptionKeys::SYSTEM_NAME) && $input->getOption(InputOptionKeys::SYSTEM_NAME)) || |
|
184 | $instance->getSystemName() === null |
|
185 | ) { |
|
186 | $instance->setSystemName($input->getOption(InputOptionKeys::SYSTEM_NAME)); |
|
187 | } |
|
188 | ||
189 | // query whether or not a PID filename has been specified as command line |
|
190 | // option, if yes override the value from the configuration file |
|
@@ 191-195 (lines=5) @@ | ||
188 | ||
189 | // query whether or not a PID filename has been specified as command line |
|
190 | // option, if yes override the value from the configuration file |
|
191 | if (($input->hasOptionSpecified(InputOptionKeys::PID_FILENAME) && $input->getOption(InputOptionKeys::PID_FILENAME)) || |
|
192 | $instance->getPidFilename() === null |
|
193 | ) { |
|
194 | $instance->setPidFilename($input->getOption(InputOptionKeys::PID_FILENAME)); |
|
195 | } |
|
196 | ||
197 | // query whether or not a Magento installation directory has been specified as command line |
|
198 | // option, if yes override the value from the configuration file |
|
@@ 199-203 (lines=5) @@ | ||
196 | ||
197 | // query whether or not a Magento installation directory has been specified as command line |
|
198 | // option, if yes override the value from the configuration file |
|
199 | if (($input->hasOptionSpecified(InputOptionKeys::INSTALLATION_DIR) && $input->getOption(InputOptionKeys::INSTALLATION_DIR)) || |
|
200 | $instance->getInstallationDir() === null |
|
201 | ) { |
|
202 | $instance->setInstallationDir($input->getOption(InputOptionKeys::INSTALLATION_DIR)); |
|
203 | } |
|
204 | ||
205 | // query whether or not a Magento edition has been specified as command line |
|
206 | // option, if yes override the value from the configuration file |