Changing default port numbers

Signed-off-by: Adam Knapp adam.knapp@ericsson.com

src/common/Settings.ts

@@ -17,8 +17,8 @@ class Settings {
     private _configSectionName = ConfigKey.titanExtension;
     private _extensionPath;
     private _configuration;
-    private _serverPort: number = 5555;
-    private _debugPort: number = 8888;
+    private _serverPort: number = 55555;
+    private _debugPort: number = 54321;
     private _logDir;
     private _logFileName = 'titan-languageserver-java.log';
     private _supportedFileTypes = new Set<string>(['asn', 'asn1', 'ttcn', 'ttcn3', 'ttcnpp', 'ttcnin']);