frontend: handle protocol names starting with number

This commit is contained in:
Lan Tian
2025-07-01 00:04:03 -07:00
parent 6e5e190d32
commit 7eb4d75bbf

View File

@@ -18,13 +18,13 @@ import (
var primitiveMap = map[string]string{
"summary": "show protocols",
"detail": "show protocols all %s",
"route_from_protocol": "show route protocol %s",
"route_from_protocol_all": "show route protocol %s all",
"route_from_protocol_primary": "show route protocol %s primary",
"route_from_protocol_all_primary": "show route protocol %s all primary",
"route_filtered_from_protocol": "show route filtered protocol %s",
"route_filtered_from_protocol_all": "show route filtered protocol %s all",
"detail": "show protocols all \"%s\"",
"route_from_protocol": "show route protocol \"%s\"",
"route_from_protocol_all": "show route protocol \"%s\" all",
"route_from_protocol_primary": "show route protocol \"%s\" primary",
"route_from_protocol_all_primary": "show route protocol \"%s\" all primary",
"route_filtered_from_protocol": "show route filtered protocol \"%s\"",
"route_filtered_from_protocol_all": "show route filtered protocol \"%s\" all",
"route_from_origin": "show route where bgp_path.last = %s",
"route_from_origin_all": "show route where bgp_path.last = %s all",
"route_from_origin_primary": "show route where bgp_path.last = %s primary",