diff options
author | 2018-06-08 15:50:25 -0700 | |
---|---|---|
committer | 2018-06-08 15:51:35 -0700 | |
commit | 6dfafd27facf11700047a9be56b8c7a3f201829a (patch) | |
tree | 613158fe0aa02028f4991bf159f7e2d86335262e /examples/shell/lib.sh | |
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 'examples/shell/lib.sh')
0 files changed, 0 insertions, 0 deletions