Method onFixpoint

src/runtime/databases/browserSession.ts:80–87

(evaluation: Evaluation, changes: Changes)

  }

  onFixpoint(evaluation: Evaluation, changes: Changes) {
    super.onFixpoint(evaluation, changes);
    let name = evaluation.databaseToName(this);
    let result = changes.result({[name]: true});
    if(result.insert.length || result.remove.length) {
      this.client.send(JSON.stringify(result));
    }
  }

  unregister(evaluation: Evaluation) {
    let ix = this.evaluations.indexOf(evaluation);