[CRIU] [PATCH 2/2] Add --ps-socket option to Documentation/criu.txt

[Paweł Stradomski]

Add --ps-socket option to Documentation/criu.txt

Signed-off-by: Pawel Stradomski <pstradomski at google.com>

---
 Documentation/criu.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Documentation/criu.txt b/Documentation/criu.txt
index db77bfeb..1bb516c1 100644
--- a/Documentation/criu.txt
+++ b/Documentation/criu.txt
@@ -576,6 +576,12 @@ Launches *criu* in page server mode.
 *--port* 'number'::
     Page server port number.

+*--ps-socket* 'fd'::
+    Use provided file descriptor as socket for incoming connection.
+    In this case --address and --port are ignored.
+    Useful for intercepting page-server traffic e.g. to add encryption
+    or authentication.
+
 *--lazy-pages*::
     Serve local memory dump to a remote *lazy-pages* daemon. In this
     mode the *page-server* reads local memory dump and allows the
-- 
2.18.0.399.gad0ab374a1-goog

-- 
Paweł Stradomski