comparison src/app/app.module.ts @ 454:f93582c38b70

Don't dispose of old audio when loading new audio files. Also move resource manager type out of audio-player.

 import { WaveformComponent } from './visualisations/waveform/waveform.component';
 import { AudioFileOpenComponent } from './audio-file-open/audio-file-open.component';
 import { PlaybackControlComponent } from './playback-control/playback-control.component';
 import {
   AudioPlayerService,
-  UrlResourceLifetimeManager,
   ResourceReader
 } from './services/audio-player/audio-player.service';
 import { FeatureExtractionService } from './services/feature-extraction/feature-extraction.service';
 import { FeatureExtractionMenuComponent } from './feature-extraction-menu/feature-extraction-menu.component';
 import { ProgressSpinnerComponent } from './progress-spinner/progress-spinner.component';

       URL.revokeObjectURL(url);
     }
   };
 }
 
+export abstract class UrlResourceLifetimeManager {
+  abstract createUrlToResource(resource: File | Blob): string;
+  abstract revokeUrlToResource(url: string): void;
+}
+
 export function createResourceReader(): ResourceReader {
   return (resource) => {
     return new Promise((res, rej) => {
       const reader: FileReader = new FileReader();
       reader.onload = (event: any) => {