From 5d6a9872e27b3da33809acf1da99baa50948bb91 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Mon, 2 May 2016 11:04:24 +0200
Subject: [PATCH] Michael found a weird character in my code
---
src/Database.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/Database.js b/src/Database.js
index f49d2bc2..8246e3fc 100644
--- a/src/Database.js
+++ b/src/Database.js
@@ -75,7 +75,7 @@ module.exports = function (Y /* :any */) {
}
this.gc1 = [] // first stage
this.gc2 = [] // second stage -> after that, remove the op
- this.gcTimeout = !opts.gcTimeout ? 50000 : opts.gcTimeoutÅ›
+ this.gcTimeout = !opts.gcTimeout ? 50000 : opts.gcTimeouts
function garbageCollect () {
return os.whenTransactionsFinished().then(function () {
if (os.gc1.length > 0 || os.gc2.length > 0) {
--
GitLab