-
Utkarsh Ayachit authored
When saving information about loaded plugins etc., use the server configuration name, if available, when saving/loading the plugin setup to the settings. That way if multiple server configurations use the same resource url e.g. cs://localhost... but are actually different servers connected to using ssh port forwarding (for example), then the plugins across different servers don't get mixed up. Change-Id: I77ea85ad082bf0fb7e209f724cd125f50e1f8417
d49d78ec