diff options
| author | Lukas Larsson <[email protected]> | 2018-04-10 10:17:30 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-04-10 10:17:30 +0200 |
| commit | 994a1229418c34846c1e2b5d08e72aa30ac5fa5f (patch) | |
| tree | c6569886fcaa63a8af02455c5ff5953c79e5d260 /erts/preloaded/ebin | |
| parent | 4c29e451d8839fbfd3733444640a761c2c9b1f2a (diff) | |
| download | otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.tar.gz otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.tar.bz2 otp-994a1229418c34846c1e2b5d08e72aa30ac5fa5f.zip | |
erts: Flush messages before doing init restart
If messages are not flushed they would cause problems when
the system is booting. For instance module load requests
would be issued before the prim loader has been launched.
Diffstat (limited to 'erts/preloaded/ebin')
| -rw-r--r-- | erts/preloaded/ebin/init.beam | bin | 50472 -> 50596 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/erts/preloaded/ebin/init.beam b/erts/preloaded/ebin/init.beam Binary files differindex a2dd41b435..9043ae302e 100644 --- a/erts/preloaded/ebin/init.beam +++ b/erts/preloaded/ebin/init.beam |