diff options
| author | Jose M Perez <[email protected]> | 2019-05-21 22:05:08 +0200 |
|---|---|---|
| committer | Jose M Perez <[email protected]> | 2019-05-21 22:05:08 +0200 |
| commit | 1d2ece6cf7b97e0806be7512fcefdb595c1bc4e2 (patch) | |
| tree | 56554f9d8cb6d0b39411bc6b436951753e247b32 /system | |
| parent | 322d54e76d5c88881d4299b6a17e02eb76dd6d8f (diff) | |
| download | otp-1d2ece6cf7b97e0806be7512fcefdb595c1bc4e2.tar.gz otp-1d2ece6cf7b97e0806be7512fcefdb595c1bc4e2.tar.bz2 otp-1d2ece6cf7b97e0806be7512fcefdb595c1bc4e2.zip | |
Add comment to doc regarding multiple -mode flags
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/system_principles/system_principles.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/system/doc/system_principles/system_principles.xml b/system/doc/system_principles/system_principles.xml index 500522d778..6986d93ed9 100644 --- a/system/doc/system_principles/system_principles.xml +++ b/system/doc/system_principles/system_principles.xml @@ -156,7 +156,8 @@ init:stop()</pre> command-line flag <c>-mode</c>.</p> <pre> % <input>erl -mode embedded</input></pre> - <p>Default mode is <c>interactive</c>.</p> + <p>Default mode is <c>interactive</c> and extra <c>-mode</c> flags are + ignored.</p> <p>The mode properties are as follows:</p> <list type="bulleted"> <item>In embedded mode, all code is loaded during system startup |