diff options
| author |  philwo <philwo@google.com> | 2018-02-01 09:07:39 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-02-01 09:09:05 -0800 |
| commit | a7831cc0aa606a312bd4f6f8a7e3a4c83f6dcbd4 (patch) | |
| tree | d800c2be44a6aec762842adbea4bd1a107726c37 /src/main/cpp/workspace_layout.h | |
| parent | 875068a65663c63f9d3110ae197a43d89561ae19 (diff) | |
Use the workspace name in the process title of the Bazel server.
This makes way more sense than using the name of the *parent* directory of the workspace.
Closes #4253 - thanks @akira-baruah for suggesting this change and making it happen!
PiperOrigin-RevId: 184147456
Diffstat (limited to 'src/main/cpp/workspace_layout.h')
| -rw-r--r-- | src/main/cpp/workspace_layout.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/cpp/workspace_layout.h b/src/main/cpp/workspace_layout.h index 5f5a87691d..a8dd6d1ace 100644 --- a/src/main/cpp/workspace_layout.h +++ b/src/main/cpp/workspace_layout.h @@ -40,6 +40,11 @@ class WorkspaceLayout { // relative or absolute. virtual std::string GetWorkspace(const std::string& cwd) const; + // Given a result returned from GetWorkspace, returns a pretty workspace name + // than can e.g. be used in the process title of the Bazel server. + virtual std::string GetPrettyWorkspaceName( + const std::string& workspace) const; + // Returns if workspace is a valid build workspace. virtual bool InWorkspace(const std::string& workspace) const; |