diff options
author | brendandouglas <brendandouglas@google.com> | 2018-06-08 15:50:25 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-06-08 15:51:35 -0700 |
commit | 6dfafd27facf11700047a9be56b8c7a3f201829a (patch) | |
tree | 613158fe0aa02028f4991bf159f7e2d86335262e /src/main/java/com/google/devtools/build/lib/syntax | |
parent | 39780843f241da1b57fed2396f0b908d1a2cd5f4 (diff) |
Add the skylark debugging options to the recognized 'build' options.
Ensure debugging is turned off (and the server socket closed) when
the command finishes, even if the blaze server is shut down.
Finally, unpause all threads as part of shutting down the debug server,
and also shut down the server if the client connection is lost.
PiperOrigin-RevId: 199863623
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/syntax/DebugServer.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/syntax/DebugServer.java b/src/main/java/com/google/devtools/build/lib/syntax/DebugServer.java index 0238e51959..6fe17238cd 100644 --- a/src/main/java/com/google/devtools/build/lib/syntax/DebugServer.java +++ b/src/main/java/com/google/devtools/build/lib/syntax/DebugServer.java @@ -32,7 +32,10 @@ public interface DebugServer { <T> T runWithDebugging(Environment env, String threadName, DebugCallable<T> callable) throws EvalException, InterruptedException; - /** Shuts down the debug server, closing any open sockets, etc. */ + /** + * Shuts down the debug server, closing any open sockets, etc. This can be safely called multiple + * times. + */ void close(); /** |