fixed some bugs & linted & prettyfied gulpfile

This commit is contained in:
Kevin Jahns
2015-09-13 18:22:45 +02:00
parent 82b3e50d49
commit 2a601ac6f6
11 changed files with 82 additions and 141 deletions

View File

@@ -34,7 +34,7 @@ var Struct = {
var target = yield* this.getOperation(op.target)
if (target != null && !target.deleted) {
target.deleted = true
if (target.left !== null && (yield* this.getOperation(target.left)).deleted) {
if (target.left === null || (yield* this.getOperation(target.left)).deleted) {
this.store.addToGarbageCollector(target.id)
target.gc = true
}