DescriptionDo not stop profiling if all finished profiles were deleted
Deleting finished profiles shouldn't interrupt profile recording.
BUG=chromium:327298
LOG=N
R=alph@chromium.org, jkummerow@chromium.org
Committed: https://code.google.com/p/v8/source/detail?r=18302
Patch Set 1 #
Total comments: 6
Patch Set 2 : Comments addressed #
Messages
Total messages: 5 (0 generated)
|