diff options
author | Pawel Stradomski <pstradomski@google.com> | 2018-06-28 17:22:13 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@virtuozzo.com> | 2018-06-29 00:56:41 +0300 |
commit | f8601b3506dc17a57dc718855780806000014223 (patch) | |
tree | 7e7c035898a2da80e215b2cddf23276a9ea74fec | |
parent | 8c728e89c9ac741195bc05e663a4157e290e9734 (diff) |
Add information about --ps-socket to usage information in crtools.c
Signed-off-by: Pawel Stradomski <pstradomski@google.com>
Signed-off-by: Andrei Vagin <avagin@virtuozzo.com>
-rw-r--r-- | criu/crtools.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/criu/crtools.c b/criu/crtools.c index 39bc609eb..321553643 100644 --- a/criu/crtools.c +++ b/criu/crtools.c @@ -1069,6 +1069,7 @@ usage: "Page/Service server options:\n" " --address ADDR address of server or service\n" " --port PORT port of page serve or service\n" +" --ps-socket FD use specified FD as page server socket\n" " -d|--daemon run in the background after creating socket\n" " --status-fd FD write \\0 to the FD and close it once process is ready\n" " to handle requests\n" |