| Index: runtime/vm/json_stream.h
|
| diff --git a/runtime/vm/json_stream.h b/runtime/vm/json_stream.h
|
| index 5b020b0d66013b83ba782c9394383e865183cfa3..b9025a94ade709acd0a12cf4b8846ac6169a68a3 100644
|
| --- a/runtime/vm/json_stream.h
|
| +++ b/runtime/vm/json_stream.h
|
| @@ -47,12 +47,13 @@ enum JSONRpcErrorCode {
|
|
|
| kExtensionError = -32000,
|
|
|
| - kFeatureDisabled = 100,
|
| - kVMMustBePaused = 101,
|
| - kCannotAddBreakpoint = 102,
|
| - kStreamAlreadySubscribed = 103,
|
| - kStreamNotSubscribed = 104,
|
| - kIsolateMustBeRunnable = 105,
|
| + kFeatureDisabled = 100,
|
| + kVMMustBePaused = 101,
|
| + kCannotAddBreakpoint = 102,
|
| + kStreamAlreadySubscribed = 103,
|
| + kStreamNotSubscribed = 104,
|
| + kIsolateMustBeRunnable = 105,
|
| + kIsolateMustBePaused = 106,
|
| };
|
|
|
| // Expected that user_data is a JSONStream*.
|
|
|