...
function withServer(config, server_loop) {
// detangle configuration:
if (typeof config != 'object')
config = { address: config };
config = override({
address: '0',
max_connections: 1000,
capacity: 100,
ssl: false,
key: undefined,
cert: undefined,
ca: undefined,
passphrase: undefined,
fd: undefined,
log: x => logging.info(address, ":", x),
secureOptions: undefined,
secureProtocol: undefined,
ciphers: undefined
}, config);
...
var server;
if (!config.ssl)
server = builtin_http.createServer(dispatchRequest);
else{
server = require('https').createServer(
{
key: undefined,
cert: undefined,
ca: undefined,
passphrase: undefined,
secureOptions: undefined,
secureProtocol: undefined,
ciphers: undefined
} .. override(config),
dispatchRequest);
}
...