Google Git
Sign in
vanadium / release.go.x.devtools / 263d40e5aa032c932cf783994d3a6878ecb3e8d6
commit263d40e5aa032c932cf783994d3a6878ecb3e8d6[log] [tgz]
authorRobin Thellend <rthellend@google.com>Tue Jun 14 10:00:10 2016 -0700
committerRobin Thellend <rthellend@google.com>Tue Jun 14 10:02:32 2016 -0700
tree9952fe4018dac1fda480ef879cf1fd185ac9e8c4
parent23d5b0cf8f9777f4068eb2c06b9f938a037c6204 [diff]
internal/monitoring: find mounttable via namespace

The mounttable servers are now mounted on 'mt'. So, we can treat it like
any other service. In particular, this means that we can monitor a
replicated mounttable.

Change-Id: Ib21868275b2dec192ea9bc779ecf1a916a8b6315
1 file changed
tree: 9952fe4018dac1fda480ef879cf1fd185ac9e8c4
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-contributors/
  9. jiri-copyright/
  10. jiri-dockergo/
  11. jiri-go/
  12. jiri-goext/
  13. jiri-oncall/
  14. jiri-profile-v23/
  15. jiri-run/
  16. jiri-swift/
  17. jiri-test/
  18. jiridoc/
  19. mailer/
  20. oncall/
  21. postsubmit/
  22. presubmit/
  23. tooldata/
  24. tracify/
  25. vbinary/
  26. vcloud/
  27. vjenkins/
  28. vkiosk/
  29. vmon/
  30. .gitignore
  31. .godepcop
  32. .jiriignore
  33. AUTHORS
  34. CONTRIBUTING.md
  35. CONTRIBUTORS
  36. LICENSE
  37. PATENTS
  38. README.md
  39. VERSION
README.md

This repository contains developer tools used to install and contribute to Vanadium.

For more information, see the installation and contributing instructions.

This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.