RESOLVED FIXED 115808
Update JSCIdentifier pretty printer in Tools/gdb/webkit.py 
https://bugs.webkit.org/show_bug.cgi?id=115808
Summary Update JSCIdentifier pretty printer in Tools/gdb/webkit.py
Denis Nomiyama (dnomi)
Reported 2013-05-08 09:50:45 PDT
When debugging bug #115796, the pretty printer for the JSCIdentifier wasn't working. Patch coming now.
Attachments
Patch (1.47 KB, patch)
2013-05-08 10:20 PDT, Denis Nomiyama (dnomi) 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Denis Nomiyama (dnomi)
Comment 1 2013-05-08 10:20:00 PDT
Created attachment 201082 [details] Patch
WebKit Commit Bot
Comment 2 2013-05-08 16:07:21 PDT
Comment on attachment 201082 [details] Patch Clearing flags on attachment: 201082 Committed r149775: <http://trac.webkit.org/changeset/149775>
WebKit Commit Bot
Comment 3 2013-05-08 16:07:23 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.