diff options
author | Siri Hansen <[email protected]> | 2011-10-21 11:43:57 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2011-10-21 11:43:57 +0200 |
commit | 0133d7aeabeabca47d112b039823d0ba492905cb (patch) | |
tree | 32b492965ce432934caae5bc0f5d6a3e34f33821 /lib/inets/src/Makefile | |
parent | 5dc64cffb084e8abc6e5908025833481331f38de (diff) | |
download | otp-0133d7aeabeabca47d112b039823d0ba492905cb.tar.gz otp-0133d7aeabeabca47d112b039823d0ba492905cb.tar.bz2 otp-0133d7aeabeabca47d112b039823d0ba492905cb.zip |
Flush trace file driver before stopping dbg
Earlier dbg:stop only did erlang:trace_delivered and did not flush the
trace file driver. Therefore there could still be trace messages that
were delivered to the driver (guaranteed by erlang:trace_delivered)
but not yet written to the file. This commit adds this flushing on
each node before the dbg process terminates.
Diffstat (limited to 'lib/inets/src/Makefile')
0 files changed, 0 insertions, 0 deletions