Bug 130401

Summary:

Add --reset option to Tools/Scripts/set-webkit-configuration script

Product:

WebKit

Reporter:

Éva Balázsfalvi <evab.u-szeged>

Component:

Tools / Tests

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

commit-queue, evab.u-szeged, ossy

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	none

Description Éva Balázsfalvi 2014-03-18 09:45:08 PDT

Tools/Scripts/set-webkit-configuration creates a file which stores the given default value. There should be a function which removes this file in case we don't want to have a default setting at all.

Comment 1 Éva Balázsfalvi 2014-03-18 09:47:35 PDT

Created attachment 227061 [details]
Patch

Comment 2 Csaba Osztrogonác 2014-03-18 10:24:42 PDT

Comment on attachment 227061 [details]
Patch

LGTM, r=me

Comment 3 WebKit Commit Bot 2014-03-18 10:55:21 PDT

Comment on attachment 227061 [details]
Patch

Clearing flags on attachment: 227061

Committed r165816: <http://trac.webkit.org/changeset/165816>

Comment 4 WebKit Commit Bot 2014-03-18 10:55:23 PDT

All reviewed patches have been landed.  Closing bug.