Skip to main content

miren server restart

Restart the systemd-managed miren server and wait for it to report ready

Usage​

miren server restart [flags]

Global Options​

  • --options — Path to file containing options
  • --server-address — Server address to connect to (default: 127.0.0.1:8443)
  • --verbose, -v — Enable verbose output

Examples​

Restart the server:

sudo miren server restart

See also​