| Index: pkg/analysis_server/lib/src/server/driver.dart
|
| diff --git a/pkg/analysis_server/lib/src/server/driver.dart b/pkg/analysis_server/lib/src/server/driver.dart
|
| index 87d4792a6459b1f5e5c631f4ffd8a629948697f4..e3fddc0ebf7bade36b0815f51180ebaa6b83fd76 100644
|
| --- a/pkg/analysis_server/lib/src/server/driver.dart
|
| +++ b/pkg/analysis_server/lib/src/server/driver.dart
|
| @@ -250,12 +250,6 @@ class Driver implements ServerStarter {
|
| * The name of the option used to specify if [print] should print to the
|
| * console instead of being intercepted.
|
| */
|
| - static const String INTERNAL_DELAY_FREQUENCY = 'internal-delay-frequency';
|
| -
|
| - /**
|
| - * The name of the option used to specify if [print] should print to the
|
| - * console instead of being intercepted.
|
| - */
|
| static const String INTERNAL_PRINT_TO_CONSOLE = "internal-print-to-console";
|
|
|
| /**
|
| @@ -341,13 +335,6 @@ class Driver implements ServerStarter {
|
| return null;
|
| }
|
|
|
| - // TODO (danrubel) Remove this workaround
|
| - // once the underlying VM and dart:io issue has been fixed.
|
| - if (results[INTERNAL_DELAY_FREQUENCY] != null) {
|
| - AnalysisServer.performOperationDelayFrequency =
|
| - int.parse(results[INTERNAL_DELAY_FREQUENCY], onError: (_) => 0);
|
| - }
|
| -
|
| int port;
|
| bool serve_http = false;
|
| if (results[PORT_OPTION] != null) {
|
| @@ -540,7 +527,6 @@ class Driver implements ServerStarter {
|
| parser.addOption(PORT_OPTION,
|
| help: "the http diagnostic port on which the server provides"
|
| " status and performance information");
|
| - parser.addOption(INTERNAL_DELAY_FREQUENCY);
|
| parser.addOption(SDK_OPTION, help: "[path] the path to the sdk");
|
| parser.addFlag(USE_ANALYSIS_HIGHLIGHT2,
|
| help: "enable version 2 of semantic highlight",
|
|
|