settings: document the possibility of using Unix sockets

We have been supporting Unix sockets by ages, because express.listen()
(http://expressjs.com/en/4x/api.html#app.listen_path_callback) re-exposes
net.server.listen() (https://nodejs.org/api/net.html#net_server_listen), which
in turn supports Unix sockets.

The only remaining thing to do was documenting it.

Fixes #3312

settings.json.docker

@@ -92,7 +92,14 @@
   "skinName": "${SKIN_NAME:colibris}",
 
   /*
-   * IP and port which etherpad should bind at
+   * IP and port which Etherpad should bind at.
+   *
+   * Binding to a Unix socket is also supported: just use an empty string for
+   * the ip, and put the full path to the socket in the port parameter.
+   *
+   * EXAMPLE USING UNIX SOCKET:
+   *    "ip": "",                             // <-- has to be an empty string
+   *    "port" : "/somepath/etherpad.socket", // <-- path to a Unix socket
    */
   "ip": "${IP:0.0.0.0}",
   "port": "${PORT:9001}",

settings.json.template

@@ -83,7 +83,14 @@
   "skinName": "colibris",
 
   /*
-   * IP and port which etherpad should bind at
+   * IP and port which Etherpad should bind at.
+   *
+   * Binding to a Unix socket is also supported: just use an empty string for
+   * the ip, and put the full path to the socket in the port parameter.
+   *
+   * EXAMPLE USING UNIX SOCKET:
+   *    "ip": "",                             // <-- has to be an empty string
+   *    "port" : "/somepath/etherpad.socket", // <-- path to a Unix socket
    */
   "ip": "0.0.0.0",
   "port": 9001,

src/node/hooks/express.js

@@ -18,7 +18,13 @@ exports.createServer = function () {
 
   exports.restartServer();
 
-  console.log(`You can access your Etherpad instance at http://${settings.ip}:${settings.port}/`);
+  if (settings.ip === "") {
+    // using Unix socket for connectivity
+    console.log(`You can access your Etherpad instance using the Unix socket at ${settings.port}`);
+  } else {
+    console.log(`You can access your Etherpad instance at http://${settings.ip}:${settings.port}/`);
+  }
+
   if (!_.isEmpty(settings.users)) {
     console.log(`The plugin admin page is at http://${settings.ip}:${settings.port}/admin/plugins`);
   } else {

src/node/utils/Settings.js

@@ -710,6 +710,11 @@ exports.reloadSettings = function reloadSettings() {
     exports.dbSettings.filename = absolutePaths.makeAbsolute(exports.dbSettings.filename);
     console.warn(dirtyWarning + ` File location: ${exports.dbSettings.filename}`);
   }
+
+  if (exports.ip === "") {
+    // using Unix socket for connectivity
+    console.warn(`The settings file contains an empty string ("") for the "ip" parameter. The "port" parameter will be interpreted as the path to a Unix socket to bind at.`);
+  }
 };
 
 // initially load settings