Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-14 22:05:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 991394 - actually rename profiles.ini sections when removing profile; r=mfinkle

Browse Source 
--HG--
extra : rebase_source : 557a44d699f86d89ee959cb8897e6d0c1c304227
This commit is contained in:
Myk Melez 2014-05-21 08:12:51 -07:00
parent d79425d9aa
commit dcb76aba42
3 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
mobile/android/base/GeckoProfile.java
View File

@ -491,8 +491,9 @@ public final class GeckoProfile {
} else {
// this really shouldn't be the case, but handle it anyway
parser.removeSection(mName);
return true;
}
break;
}
parser.write();

1
mobile/android/base/util/INIParser.java
View File

@ -169,6 +169,7 @@ public final class INIParser extends INISection {
if (section == null)
return;
section.setName(newName);
mSections.remove(oldName);
mSections.put(newName, section);
}

1
mobile/android/base/util/INISection.java
View File

@ -18,6 +18,7 @@ public class INISection {
// default file to read and write to
private String mName = null;
public String getName() { return mName; }
public void setName(String name) { mName = name; }
// show or hide debug logging
private boolean mDebug = false;