audit, a more ad-hoc kick-off meeting ensured that no major hurdles emerged. A Cure53, Berlin · 03/08/19 1/9 Dr.-Ing. Mario Heiderich, Cure53 Bielefelder com/vitessio/vitess was used as the codebase to be verified. ▪ branch master commit 092479406b27ae61a8fcd146a0e08af2d51a7245 ◦ Furthermore, the minimal reference client https://github.com/vitessio/messages was used provided as a reference of an installation typical for a general Vitess deployment. Cure53, Berlin · 03/08/19 2/9 Dr.-Ing. Mario Heiderich, Cure53 Bielefelder

ListAllTablets | grep customer zone1 -0000000300 customer -80 master localhost:15300 localhost:17300 [] 2020-08-13T01:23:15Z zone1 -0000000301 customer -80 replica localhost:15301 localhost:17301 [] zone1 localhost:17302 [] zone1 -0000000400 customer 80- master localhost:15400 localhost:17400 [] 2020-08-13T01:23:15Z zone1 -0000000401 customer 80- replica localhost:15401 localhost:17401 [] zone1 -0000000100... Starting vttablet for zone1 -0000000100... HTTP/1.1 200 OK Date: Mon, 17 Aug 2020 14:20:08 GMT Content -Type: text/html; charset=utf-8 W0817 07:20:08.822742 7735 main.go:64] W0817 14:20:08

ListAllTablets | grep customer zone1 -0000000300 customer -80 master localhost:15300 localhost:17300 [] 2020-08-13T01:23:15Z zone1 -0000000301 customer -80 replica localhost:15301 localhost:17301 [] zone1 localhost:17302 [] zone1 -0000000400 customer 80- master localhost:15400 localhost:17400 [] 2020-08-13T01:23:15Z zone1 -0000000401 customer 80- replica localhost:15401 localhost:17401 [] zone1 -0000000100... Starting vttablet for zone1 -0000000100... HTTP/1.1 200 OK 324 Date: Mon, 17 Aug 2020 14:20:08 GMT Content -Type: text/html; charset=utf-8 W0817 07:20:08.822742 7735 main.go:64] W0817 14:20:08

ListAllTablets | grep customer zone1 -0000000300 customer -80 master localhost:15300 localhost:17300 [] 2020-08-13T01:23:15Z zone1 -0000000301 customer -80 replica localhost:15301 localhost:17301 [] zone1 localhost:17302 [] zone1 -0000000400 customer 80- master localhost:15400 localhost:17400 [] 2020-08-13T01:23:15Z zone1 -0000000401 customer 80- replica localhost:15401 localhost:17401 [] zone1 -0000000100... Starting vttablet for zone1 -0000000100... HTTP/1.1 200 OK 302 Date: Mon, 17 Aug 2020 14:20:08 GMT Content -Type: text/html; charset=utf-8 W0817 07:20:08.822742 7735 main.go:64] W0817 14:20:08

ListAllTablets | grep customer zone1 -0000000300 customer -80 master localhost:15300 localhost:17300 [] 2020-08-13T01:23:15Z zone1 -0000000301 customer -80 replica localhost:15301 localhost:17301 [] zone1 localhost:17302 [] zone1 -0000000400 customer 80- master localhost:15400 localhost:17400 [] 2020-08-13T01:23:15Z zone1 -0000000401 customer 80- replica localhost:15401 localhost:17401 [] zone1 -0000000100... Starting vttablet for zone1 -0000000100... HTTP/1.1 200 OK Date: Mon, 17 Aug 2020 14:20:08 GMT Content -Type: text/html; charset=utf-8 W0817 07:20:08.822742 7735 main.go:64] W0817 14:20:08

ListAllTablets | grep customer zone1 -0000000300 customer -80 primary localhost:15300 localhost:17300 [] 2020-08-13T01:23:15Z zone1 -0000000301 customer -80 replica localhost:15301 localhost:17301 [] zone1 localhost:17302 [] zone1 -0000000400 customer 80- primary localhost:15400 localhost:17400 [] 2020-08-13T01:23:15Z zone1 -0000000401 customer 80- replica localhost:15401 localhost:17401 [] zone1 -0000000100... Starting vttablet for zone1 -0000000100... HTTP/1.1 200 OK Date: Mon, 17 Aug 2020 14:20:08 GMT Content -Type: text/html; charset=utf-8 W0817 07:20:08.822742 7735 main.go:64] W0817 14:20:08

Join(source.Tables, " ")) } return template.HTML(result) } https://github.com/vitessio/vitess/blob/bd78c08ced8f6a3e55279d308a5a8402fd6780bc/g o/vt/srvtopo/status.go#L126 func (st *SrvKeyspaceCacheStatus) StatusAsHTML()