| Index: pkg/analysis_server/lib/src/get_handler.dart
|
| diff --git a/pkg/analysis_server/lib/src/get_handler.dart b/pkg/analysis_server/lib/src/get_handler.dart
|
| index 1cc1e341842278a4883416bcce5fc4958fd01543..e6ba76a097780856bc3c23792d9e7986dc54f39b 100644
|
| --- a/pkg/analysis_server/lib/src/get_handler.dart
|
| +++ b/pkg/analysis_server/lib/src/get_handler.dart
|
| @@ -1074,6 +1074,9 @@ class GetHandler {
|
| options.preserveComments,
|
| last: true);
|
| buffer.write('</p>');
|
| + int freq = AnalysisServer.performOperationDelayFreqency;
|
| + String delay = freq > 0 ? '1 ms every $freq ms' : 'off';
|
| + buffer.write('<p><b>perform operation delay:</b> $delay</p>');
|
| }, (StringBuffer buffer) {
|
| _writeSubscriptionMap(
|
| buffer,
|
|
|