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", |