Don't restart if we're not in the cradle.

This commit is contained in:
Gav Wood
2016-12-11 04:05:02 +01:00
parent 2865cbaf70
commit d9f6ea56ef
3 changed files with 29 additions and 18 deletions

View File

@@ -351,6 +351,9 @@ Legacy Options:
--extradata STRING Equivalent to --extra-data STRING.
--cache MB Equivalent to --cache-size MB.
Internal Options:
--can-restart Executable will auto-restart if exiting with 125.
Miscellaneous Options:
-c --config CONFIG Specify a filename containing a configuration file.
(default: {flag_config})