From 3fce3e400fd44d3b6f345a31413e0ad2b7724107 Mon Sep 17 00:00:00 2001
From: alex <alex@alexloehr.net>
Date: Mon, 17 Nov 2025 17:42:43 +0000
Subject: [PATCH] GS-2373
---
lib/search.js | 20 +++++++++++---------
1 files changed, 11 insertions(+), 9 deletions(-)
diff --git a/lib/search.js b/lib/search.js
index 11e1536..a6458b0 100644
--- a/lib/search.js
+++ b/lib/search.js
@@ -1,7 +1,9 @@
+const fs = require("node:fs")
const _ = require("lodash")
const {Index, Document, Worker} = require("flexsearch")
+
const settings = require("../settings")
-const fs = require("node:fs")
+const log = require("../logger")
/////////////////////////////////////////////////////////////////////////
@@ -67,12 +69,12 @@
}
// run()
-// .then(console.log)
+// .then(log.info)
// .catch(console.error)
async function run () {
await doIndex()
- console.log(search("latu"))
+ log.info(search("latu"))
}
/////////////////////////////////////////////////////////////////////////
@@ -80,7 +82,7 @@
let indexed = false
async function doIndex () {
const start = Date.now()
- console.log("++ START indexing Users...")
+ log.info("++ START indexing Users...")
const {readFromFile, file} = settings.search
clearIndex(idxUser)
@@ -90,10 +92,10 @@
users = JSON.parse(users)
}
else {
- console.log("~~~ reading users from DB ... ~~~")
+ log.info("~~~ reading users from DB ... ~~~")
const db = require("./db")
const {data} = await db.getUsers(0, 100000)
- console.log(`loaded ${data.length} users from DB...`)
+ log.info(`loaded ${data.length} users from DB...`)
users = data
}
@@ -102,7 +104,7 @@
// addTags(user)
}
indexed = true
- console.log(`++ END indexing Users in ${Date.now() - start}ms`)
+ log.info(`++ END indexing Users in ${Date.now() - start}ms`)
}
async function search (query) {
@@ -114,7 +116,7 @@
function searchUsers (query, user) {
// query = query.split(" ").join(" OR ") // ohne das "OR" scheint immer nur "AND" zu sein | die search option {bool:"or"} wird ignoriert
- // console.log(`searching messages for "${query}"`)
+ // log.info(`searching messages for "${query}"`)
return idxUser.search(`${user} ${query}`, {suggest: true})
}
@@ -130,7 +132,7 @@
function getUserString (user) {
const {usr_id, firstname, lastname, login, institution, department} = user
- // if(firstname.trim()==="Adolfo") console.log(user)
+ // if(firstname.trim()==="Adolfo") log.info(user)
return `${login} ${firstname} ${lastname} ${institution} ${department}`.trim()
// return `${usr_id} ${login} ${firstname} ${lastname} ${institution} ${department}`.trim() // KEINE usr_id
// return `${usr_id} ${firstname} ${lastname}`.trim()
--
Gitblit v1.8.0