Bug 115808

Summary:

Update JSCIdentifier pretty printer in Tools/gdb/webkit.py

Product:

WebKit

Reporter:

Denis Nomiyama (dnomi) <d.nomiyama>

Component:

Tools / Tests

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

commit-queue

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	none

Description Denis Nomiyama (dnomi) 2013-05-08 09:50:45 PDT

When debugging bug #115796, the pretty printer for the JSCIdentifier wasn't working. Patch coming now.

Comment 1 Denis Nomiyama (dnomi) 2013-05-08 10:20:00 PDT

Created attachment 201082 [details]
Patch

Comment 2 WebKit Commit Bot 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>

Comment 3 WebKit Commit Bot 2013-05-08 16:07:23 PDT

All reviewed patches have been landed.  Closing bug.