diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-03 16:27:09 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-08-03 16:27:09 -0400 |
| commit | f21febd2fff86c9f4a537cd81adb6de98eaec929 (patch) | |
| tree | 2685d95e3a14ce5ee2db7fb37e9c3abef9d1017c /src/server/GarbageCollector.ts | |
| parent | 76b8ce516103a469d36e876ddf3dd5b53f09c734 (diff) | |
| parent | fb8150f01232a3f8e9333f9ed7012b6982b00c24 (diff) | |
merge with new ui
Diffstat (limited to 'src/server/GarbageCollector.ts')
| -rw-r--r-- | src/server/GarbageCollector.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/server/GarbageCollector.ts b/src/server/GarbageCollector.ts index 24745cbb4..a9a3b0481 100644 --- a/src/server/GarbageCollector.ts +++ b/src/server/GarbageCollector.ts @@ -1,9 +1,9 @@ -import { Database } from './database'; - -import * as path from 'path'; import * as fs from 'fs'; +import * as path from 'path'; +import { Database } from './database'; import { Search } from './Search'; + function addDoc(doc: any, ids: string[], files: { [name: string]: string[] }) { for (const key in doc) { if (!doc.hasOwnProperty(key)) { |