| Index: utils/archive/read_request.dart
|
| diff --git a/utils/archive/read_request.dart b/utils/archive/read_request.dart
|
| index 151b5dd0422275fe90895ebf45257c5ad2257ee0..b3e4eb3e6b1da61abb56a6c37a726603b40a2834 100644
|
| --- a/utils/archive/read_request.dart
|
| +++ b/utils/archive/read_request.dart
|
| @@ -23,9 +23,9 @@ final int SUPPORT_FORMAT_MTREE = 14;
|
| final int SUPPORT_FORMAT_RAW = 15;
|
| final int SUPPORT_FORMAT_TAR = 16;
|
| final int SUPPORT_FORMAT_ZIP = 17;
|
| -final int SET_FILTER_OPTIONS = 18;
|
| -final int SET_FORMAT_OPTIONS = 19;
|
| -final int SET_OPTIONS = 20;
|
| +final int SET_FILTER_OPTION = 18;
|
| +final int SET_FORMAT_OPTION = 19;
|
| +final int SET_OPTION = 20;
|
| final int OPEN_FILENAME = 21;
|
| final int OPEN_MEMORY = 22;
|
| final int NEXT_HEADER = 23;
|
|
|