diff --git a/criu/crtools.c b/criu/crtools.c index 238b04a70..bff53fe15 100644 --- a/criu/crtools.c +++ b/criu/crtools.c @@ -311,6 +311,7 @@ int main(int argc, char *argv[], char *envp[]) { "status-fd", required_argument, 0, 1088 }, BOOL_OPT(SK_CLOSE_PARAM, &opts.tcp_close), { "verbosity", optional_argument, 0, 'v' }, + { "ps-socket", required_argument, 0, 1091}, { }, }; @@ -615,6 +616,9 @@ int main(int argc, char *argv[], char *envp[]) return 1; } break; + case 1091: + opts.ps_socket = atoi(optarg); + break; case 'V': pr_msg("Version: %s\n", CRIU_VERSION); if (strcmp(CRIU_GITID, "0"))