rename port to web-port and hostname to web-hostname (#40370)

This commit is contained in:
Jonah Williams 2019-09-12 15:25:03 -07:00 committed by GitHub
parent baa12b3309
commit 1667d0caa4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View file

@ -289,8 +289,8 @@ class RunCommand extends RunCommandBase {
dumpSkpOnShaderCompilation: argResults['dump-skp-on-shader-compilation'],
observatoryPort: observatoryPort,
verboseSystemLogs: argResults['verbose-system-logs'],
hostname: featureFlags.isWebEnabled ? argResults['hostname'] : '',
port: featureFlags.isWebEnabled ? argResults['port'] : '',
hostname: featureFlags.isWebEnabled ? argResults['web-hostname'] : '',
port: featureFlags.isWebEnabled ? argResults['web-port'] : '',
);
}
}

View file

@ -133,12 +133,12 @@ abstract class FlutterCommand extends Command<void> {
}
void usesWebOptions({ bool hide = true }) {
argParser.addOption('hostname',
argParser.addOption('web-hostname',
defaultsTo: 'localhost',
help: 'The hostname to serve web application on.',
hide: hide,
);
argParser.addOption('port',
argParser.addOption('web-port',
defaultsTo: null,
help: 'The host port to serve the web application from. If not provided, the tool '
'will select a random open port on the host.',