diff Platforms/Wasm/logger.ts @ 918:d6c029d15aaa

Merged am-dev into default
author Alain Mazy <am@osimis.io>
date Fri, 19 Jul 2019 15:15:13 +0200
parents 67d0a8da4afe
children
line wrap: on
line diff
--- a/Platforms/Wasm/logger.ts	Fri Jul 19 10:54:03 2019 +0200
+++ b/Platforms/Wasm/logger.ts	Fri Jul 19 15:15:13 2019 +0200
@@ -73,7 +73,7 @@
 
   private getOutput(source: LogSource, args: any[]): any[] {
     var prefix = this.getPrefix();
-    var prefixAndSource = [];
+    var prefixAndSource = Array<string>();
 
     if (prefix != null) {
       prefixAndSource = [prefix];
@@ -94,7 +94,7 @@
     return [...prefixAndSource, ...args];
   }
 
-  protected getPrefix(): string {
+  protected getPrefix(): string | null {
     return null;
   }
 }