| Index: runtime/vm/json_stream.h
|
| diff --git a/runtime/vm/json_stream.h b/runtime/vm/json_stream.h
|
| index 3c77d4b1b3a31c13dc3be535aa70f02729f4b2a7..319f06a7985e2ba2d9e5de698e1e9cb7f3ee5178 100644
|
| --- a/runtime/vm/json_stream.h
|
| +++ b/runtime/vm/json_stream.h
|
| @@ -53,7 +53,12 @@ enum JSONRpcErrorCode {
|
| kStreamNotSubscribed = 104,
|
| kIsolateMustBeRunnable = 105,
|
| kIsolateMustBePaused = 106,
|
| - kIsolateIsReloading = 107,
|
| +
|
| + // Experimental (used in private rpcs).
|
| + kIsolateIsReloading = 1000,
|
| + kFileSystemAlreadyExists = 1001,
|
| + kFileSystemDoesNotExist = 1002,
|
| + kFileDoesNotExist = 1003,
|
| };
|
|
|
| // Expected that user_data is a JSONStream*.
|
|
|