[OPEN-ILS-DEV] PATCH: respect-prefs-when-migrating-local-settings (bugfix)

[Jeff Godin]

On Sat, 11 Oct 2008, Jeff Godin wrote:

>
> DCO inline below, patch is attached. Feedback welcome!

Once more, with attachment!

-jeff


Developer's Certificate of Origin 1.1

By making a contribution to this project, I certify that:

(a) The contribution was created in whole or in part by me and I
    have the right to submit it under the open source license
    indicated in the file; or

(b) The contribution is based upon previous work that, to the best
    of my knowledge, is covered under an appropriate open source
    license and I have the right under that license to submit that
    work with modifications, whether created in whole or in part
    by me, under the same open source license (unless I am
    permitted to submit under a different license), as indicated
    in the file; or

(c) The contribution was provided directly to me by some other
    person who certified (a), (b) or (c) and I have not modified
    it.

(d) I understand and agree that this project and the contribution
    are public and that a record of the contribution (including all
    personal information I submit with it, including my sign-off) is
    maintained indefinitely and may be redistributed consistent with
    this project or the open source license(s) involved.

Signed-off-by: Jeff Godin <jeff at tcnet.org>
-------------- next part --------------
Index: Open-ILS/xul/staff_client/chrome/content/main/main.js
===================================================================
--- Open-ILS/xul/staff_client/chrome/content/main/main.js	(revision 10823)
+++ Open-ILS/xul/staff_client/chrome/content/main/main.js	(working copy)
@@ -265,7 +265,10 @@
 			false
 		);
 
-		if ( found_ws_info_in_Achrome() ) {
+		var pref = Components.classes["@mozilla.org/preferences-service;1"]
+			.getService(Components.interfaces.nsIPrefBranch);
+
+		if ( found_ws_info_in_Achrome() && pref.getBoolPref("open-ils.write_in_user_chrome_directory") ) {
 			//var hbox = x.parentNode; var b = document.createElement('button'); 
 			//b.setAttribute('label','Migrate legacy settings'); hbox.appendChild(b);
 			//b.addEventListener(