| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java
|
| similarity index 84%
|
| copy from editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| copy to editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java
|
| index 014ddc475bc6244bde897565a9fbfc4248a59382..41dbdb411543c4014d7ec1ba3867cd31de250de6 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java
|
| @@ -17,12 +17,12 @@
|
| package com.google.dart.server.generated.types;
|
|
|
| /**
|
| - * An enumeration of the services provided by the server domain.
|
| + * An enumeration of the services provided by the execution domain.
|
| *
|
| * @coverage dart.server.generated.types
|
| */
|
| -public class ServerService {
|
| +public class ExecutionService {
|
|
|
| - public static final String STATUS = "STATUS";
|
| + public static final String LAUNCH_DATA = "LAUNCH_DATA";
|
|
|
| }
|
|
|