Trim server name (#1308)

* add warning for trimming of the servername and trim the servername before connection

* move the location of the trim

* move it back to simplify tests

src/vs/base/browser/ui/inputbox/inputBox.ts

@@ -364,7 +364,8 @@ export class InputBox extends Widget {
 			}
 		}
 
-		return !result;
+		// {{SQL CARBON EDIT}} Canidate for addition to vscode
+		return result ? result.type !== MessageType.ERROR : true;
 	}
 
 	private stylesForType(type: MessageType): { border: Color; background: Color } {