diff options
| author | Rickard Green <[email protected]> | 2016-12-22 17:48:51 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2017-01-13 19:11:17 +0100 |
| commit | 43eebdd25a0d4a17f076f017cb3ea7da5cfd1808 (patch) | |
| tree | 168c1396651f348f17bdd02c1df9e1668b5dc840 /erts/etc/unix | |
| parent | d0e88c0c69f94625daf9cafa192bac97115e9072 (diff) | |
| download | otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.tar.gz otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.tar.bz2 otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.zip | |
Switch between scheduler types when multi-scheduling is blocked
Diffstat (limited to 'erts/etc/unix')
| -rw-r--r-- | erts/etc/unix/etp-commands.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/erts/etc/unix/etp-commands.in b/erts/etc/unix/etp-commands.in index 0990fcf8a7..f00f3d83aa 100644 --- a/erts/etc/unix/etp-commands.in +++ b/erts/etc/unix/etp-commands.in @@ -2389,6 +2389,9 @@ define etp-ssi-flags if ($arg0 & 0x10) printf " suspended" end + if ($arg0 & 0x20) + printf " msb_exec" + end printf "\n" end |