[CRIU] [PATCH] page-server: allow to execute page-server in the background (v2)

[Pavel Emelyanov]

> @@ -415,6 +415,7 @@ usage:
>  "Page server options\n"
>  "  --address ADDR        address of page server\n"
>  "  --port PORT           port of page server\n"
> +"  -d                    run in the background\n"

I'd still introduce the --daemon long option. Please, do it incrementally.

>  "\n"
>  "Show options:\n"
>  "  -f|--file FILE        show contents of a checkpoint file\n"