phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add sample

Browse Source
This commit is contained in:
Jon Eugster
2024-10-01 14:54:13 +02:00
parent 6a8abf41bd
commit b77afebe0a
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
relay/index.mjs
+7 -1
View File
@@ -43,6 +43,10 @@ const server = app
const owner = req.params.owner; const owner = req.params.owner;
const repo = req.params.repo const repo = req.params.repo
const lang = req.params.lang const lang = req.params.lang
const ip = anonymize(req.headers['x-forwarded-for'] || req.socket.remoteAddress)
console.log(`[${new Date()}] ${ip} requested translation for ${owner}/${repo} in ${lang}`)
const filename = req.params[0]; const filename = req.params[0];
req.url = filename; req.url = filename;
express.static(path.join(getGameDir(owner,repo),".i18n",lang))(req, res, next); express.static(path.join(getGameDir(owner,repo),".i18n",lang))(req, res, next);
@@ -207,7 +211,9 @@ wss.addListener("connection", function(ws, req) {
socketCounter += 1; socketCounter += 1;
const ip = anonymize(req.headers['x-forwarded-for'] || req.socket.remoteAddress) const ip = anonymize(req.headers['x-forwarded-for'] || req.socket.remoteAddress)
console.log(`[${new Date()}] Socket opened - ${ip}`)
// TODO (Matvey): extract further information from `req`, for example browser language.
console.log(`[${new Date()}] Socket opened - ${ip} - ${owner}/${repo}`)
const socket = { const socket = {
onMessage: (cb) => { ws.on("message", cb) }, onMessage: (cb) => { ws.on("message", cb) },