diff options
| author | Lukas Larsson <[email protected]> | 2019-05-29 11:15:53 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2019-05-29 11:15:53 +0200 |
| commit | 8a3cbfaec6e4691d80b2161ccc6b9935fd9d74cc (patch) | |
| tree | 7500a20e3cf6c40cc4ef5c99bd716bddf31e7fe4 /system/doc | |
| parent | ab027321ccf1098349117bdd07268e3c15eb5db8 (diff) | |
| parent | b9c4587833e5c87f5bf9526f7bc0de3993d68bf8 (diff) | |
| download | otp-8a3cbfaec6e4691d80b2161ccc6b9935fd9d74cc.tar.gz otp-8a3cbfaec6e4691d80b2161ccc6b9935fd9d74cc.tar.bz2 otp-8a3cbfaec6e4691d80b2161ccc6b9935fd9d74cc.zip | |
Merge branch 'maint'
Diffstat (limited to 'system/doc')
| -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 |