Method unregister

src/runtime/databases/browserSession.ts:89–97

(evaluation: Evaluation)

  }

  unregister(evaluation: Evaluation) {
    let ix = this.evaluations.indexOf(evaluation);
    if(ix > -1) {
      this.evaluations.splice(ix, 1);
    }
    if(this.evaluations.length === 0) {
      this.client.send(JSON.stringify({type: "result", insert: [], remove: this.index.toTriples()}))
    }
  }
}