Open mdpiper opened 6 years ago
A hash would be nice:
"execution_servers": {
"blanca":"blogin01.rc.colorado.edu",
"jetstream":"js-104-244.jetstream-cloud.org",
"siwenna":"siwenna.colorado.edu",
}
The key would be displayed in the client's droplist.
The list of execution servers available for a particular WMT client are listed in the client's config file. For example, for the wmt-testing instance:
It would be a lot nicer to see
Jetstream
instead ofjs-104-244.jetstream-cloud.org
in the list.