diff options
author | Paul Phillips <paulp@improving.org> | 2012-07-21 09:54:10 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-07-21 09:55:04 -0700 |
commit | 729aad67224e987849114770b63f81897845f15a (patch) | |
tree | 326cf5e511e323277e7ded2ae9c5f5b1157f145d /src/jline/LICENSE.txt | |
parent | 85a002dcd957ebca57db6a2c3be9f80a42fca75a (diff) | |
download | scala-729aad67224e987849114770b63f81897845f15a.tar.gz scala-729aad67224e987849114770b63f81897845f15a.tar.bz2 scala-729aad67224e987849114770b63f81897845f15a.zip |
Tweak to symbol tracer.
Stop recording symbols once the shutdown hook is triggered
so that the symbols created in the act of dumping the symbols
do not pollute the view of what symbols were created naturally.
Diffstat (limited to 'src/jline/LICENSE.txt')
0 files changed, 0 insertions, 0 deletions