diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/server/ServerCommand.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/server/ServerCommand.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/server/ServerCommand.java b/src/main/java/com/google/devtools/build/lib/server/ServerCommand.java index aed9d73b98..c47e12853d 100644 --- a/src/main/java/com/google/devtools/build/lib/server/ServerCommand.java +++ b/src/main/java/com/google/devtools/build/lib/server/ServerCommand.java @@ -45,9 +45,4 @@ public interface ServerCommand { long firstContactTime, Optional<List<Pair<String, String>>> startupOptionsTaggedWithBazelRc) throws InterruptedException; - - /** - * Whether the server needs to be shut down. - */ - boolean shutdown(); } |