commit a7831cc0aa606a312bd4f6f8a7e3a4c83f6dcbd4
author philwo <philwo@google.com> Thu Feb 01 09:07:39 2018 -0800
committer Copybara-Service <copybara-piper@google.com> Thu Feb 01 09:09:05 2018 -0800
tree d800c2be44a6aec762842adbea4bd1a107726c37
parent 875068a65663c63f9d3110ae197a43d89561ae19

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

src/main/cpp/workspace_layout.h

diff --git a/src/main/cpp/workspace_layout.h b/src/main/cpp/workspace_layout.h
index 5f5a876..a8dd6d1 100644
--- a/src/main/cpp/workspace_layout.h
+++ b/src/main/cpp/workspace_layout.h
@@ -40,6 +40,11 @@
   // 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;