diff options
| author | Paweł Stradomski <pstradomski@google.com> | 2018-06-28 17:10:48 +0300 |
|---|---|---|
| committer | Andrei Vagin <avagin@virtuozzo.com> | 2018-06-29 00:56:39 +0300 |
| commit | 8c728e89c9ac741195bc05e663a4157e290e9734 (patch) | |
| tree | 94fb460041d5c81fea7573fd1184beb83f179391 | |
| parent | b735547d962cba56751b536fe0e92aec77a7abe9 (diff) | |
Add --ps-socket option to Documentation/criu.txt
Signed-off-by: Pawel Stradomski <pstradomski@google.com>
Signed-off-by: Andrei Vagin <avagin@virtuozzo.com>
| -rw-r--r-- | Documentation/criu.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/criu.txt b/Documentation/criu.txt index db77bfeb6..1bb516c18 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 |