Merge pull request #18339 from calixteman/add_port_option

Add a port option to gulp server
mozilla · Jun 27, 2024 · abdc3fa · abdc3fa
2 parents 53aca5f + f006aa3
commit abdc3fa
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/gulpfile.mjs b/gulpfile.mjs
@@ -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();
     }
   )