Bug 451536 - "JSSh port cannot be changed" [r=alex]

This commit is contained in:
Ondrej Jaura 2008-12-14 22:32:48 -08:00
parent 90151ed8c8
commit ced8f88c89

View File

@ -130,14 +130,18 @@ JSShStarter.prototype = {
// instead of 'createInstance' to get a well-known, globally
// accessible instance of a jssh-server.
// XXX Todo: get port, startupURI and loopbackOnly from prefs.
var port = commandline.handleFlagWithParam("jssh-port", false) || 9997;
Components.classes["@mozilla.org/jssh-server;1"]
.getService(Components.interfaces.nsIJSShServer)
.startServerSocket(9997, "chrome://jssh/content/jssh-debug.js", true);
debug("JSShStarter: JSSh server started on port 9997\n");
.startServerSocket(port, "chrome://jssh/content/jssh-debug.js", true);
debug("JSShStarter: JSSh server started on port " + port + "\n");
}
},
helpInfo : " -jssh Start a JSSh server on port 9997.\n",
helpInfo : " -jssh Start a JSSh server on port 9997.\n" +
" -jssh-port <port> Change the JSSh server port.\n",
};