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

remove some vulnerable dependencies

Browse Source
This commit is contained in:
Alexander Bentkamp
2023-10-02 16:56:10 +02:00
parent 5c919fb983
commit a445635a99
3 changed files with 12 additions and 341 deletions
Download Patch File Download Diff File Expand all files Collapse all files
server/index.mjs
+3 -3
View File
@@ -7,7 +7,7 @@ import * as rpc from 'vscode-ws-jsonrpc';
import * as jsonrpcserver from 'vscode-ws-jsonrpc/server';
import os from 'os';
import anonymize from 'ip-anonymize';
import { importTrigger, importStatus } from './import.mjs'
// import { importTrigger, importStatus } from './import.mjs'
/** Preloaded games. The keys refer to the docker tags of the virtual machines.
* The number `queueLength` determines how many instances of the docker container
@@ -43,8 +43,8 @@ const PORT = process.env.PORT || 8080;
var router = express.Router();
router.get('/import/status/:owner/:repo', importStatus)
router.get('/import/trigger/:owner/:repo', importTrigger)
// router.get('/import/status/:owner/:repo', importStatus)
// router.get('/import/trigger/:owner/:repo', importTrigger)
const server = app
.use(express.static(path.join(__dirname, '../client/dist/')))