Bug 130401 - Add --reset option to Tools/Scripts/set-webkit-configuration script
Summary: Add --reset option to Tools/Scripts/set-webkit-configuration script
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-03-18 09:45 PDT by Éva Balázsfalvi
Modified: 2014-03-18 10:55 PDT (History)
3 users (show)

See Also:

Attachments
Patch (1.79 KB, patch)
2014-03-18 09:47 PDT, Éva Balázsfalvi 		no flags Details | Formatted Diff | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.