mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #18339 from calixteman/add_port_option

Browse source 
Add a port option to gulp server
This commit is contained in:
calixteman 2024-06-27 20:01:46 +02:00 • committed by GitHub
commit abdc3fa7cf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
gulpfile.mjs
View file

@ -2076,8 +2076,19 @@ gulp.task(
console.log();
console.log("### Starting local server");
let port = 8888;
const i = process.argv.indexOf("--port");
if (i >= 0 && i + 1 < process.argv.length) {
const p = parseInt(process.argv[i + 1], 10);
if (!isNaN(p)) {
port = p;
} else {
console.error("Invalid port number: using default (8888)");
}
}
const { WebServer } = await import("./test/webserver.mjs");
const server = new WebServer({ port: 8888 });
const server = new WebServer({ port });
server.start();
}
)