changeset 75:8aa6830ea41d

Update the data type for the key in the client Map, for clarity and consistency.
author Lucas Thompson <dev@lucas.im>
date Wed, 18 Jan 2017 10:25:15 +0000
parents 2c3fe51ad1f0
children 99e5a3453aa5
files src/app/services/feature-extraction/FeatureExtractionWorker.ts
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/app/services/feature-extraction/FeatureExtractionWorker.ts	Wed Jan 18 10:19:35 2017 +0000
+++ b/src/app/services/feature-extraction/FeatureExtractionWorker.ts	Wed Jan 18 10:25:15 2017 +0000
@@ -33,7 +33,7 @@
 
 export default class FeatureExtractionWorker {
   private workerScope: WorkerGlobalScope;
-  private clients: Map<string, PiperSimpleClient>;
+  private clients: Map<LibraryKey, PiperSimpleClient>;
   private remoteLibraries: Map<LibraryKey, LibraryUri>;
 
   constructor(workerScope: WorkerGlobalScope, private requireJs: RequireJs) {