@theia/core 1.34.1 → 1.35.0

package/src/common/severity.ts

@@ -20,6 +20,7 @@
  *--------------------------------------------------------------------------------------------*/
 
 import { DiagnosticSeverity } from 'vscode-languageserver-protocol';
+import { nls } from './nls';
 
 export enum Severity {
     Ignore = 0,
@@ -29,13 +30,13 @@ export enum Severity {
     Log = 4
 }
 
-export namespace Severity {
-    const error = 'Errors';
-    const warning = 'Warnings';
-    const info = 'Info';
-    const log = 'Log';
-    const ignore = 'All';
+const error = 'Errors';
+const warning = 'Warnings';
+const info = 'Info';
+const log = 'Log';
+const ignore = 'All';
 
+export namespace Severity {
     export function fromValue(value: string | undefined): Severity {
         value = value && value.toLowerCase();
 
@@ -90,6 +91,20 @@ export namespace Severity {
         }
     }
 
+    export function toLocaleString(severity: string | Severity): string {
+        if (severity === Severity.Error || severity === error) {
+            return nls.localize('theia/core/severity/errors', 'Errors');
+        } else if (severity === Severity.Warning || severity === warning) {
+            return nls.localize('theia/core/severity/warnings', 'Warnings');
+        } else if (severity === Severity.Info || severity === info) {
+            return nls.localizeByDefault('Info');
+        } else if (severity === Severity.Log || severity === log) {
+            return nls.localize('theia/core/severity/log', 'Log');
+        } else {
+            return nls.localize('theia/core/severity/all', 'All');
+        }
+    }
+
     export function toArray(): string[] {
         return [ignore, error, warning, info, log];
     }

package/src/electron-main/electron-main-application.ts

@@ -496,7 +496,9 @@ export class ElectronMainApplication {
                         try {
                             // If we forked the process for the clusters, we need to manually terminate it.
                             // See: https://github.com/eclipse-theia/theia/issues/835
-                            process.kill(backendProcess.pid);
+                            if (backendProcess.pid) {
+                                process.kill(backendProcess.pid);
+                            }
                         } catch (error) {
                             // See https://man7.org/linux/man-pages/man2/kill.2.html#ERRORS
                             if (error.code === 'ESRCH') {