mirror of
https://github.com/GravitLauncher/Launcher
synced 2024-12-23 09:01:08 +03:00
Исправления автообновления настроек
This commit is contained in:
parent
e82359a347
commit
897ed1b19e
1 changed files with 5 additions and 2 deletions
|
@ -21,7 +21,7 @@
|
||||||
import java.util.Map;
|
import java.util.Map;
|
||||||
|
|
||||||
public class LauncherSettings {
|
public class LauncherSettings {
|
||||||
public static int settingsMagic = 0xc0de5;
|
public static int settingsMagic = 0xc0de6;
|
||||||
@LauncherAPI
|
@LauncherAPI
|
||||||
public Path file = DirBridge.dir.resolve("settings.bin");
|
public Path file = DirBridge.dir.resolve("settings.bin");
|
||||||
@LauncherAPI
|
@LauncherAPI
|
||||||
|
@ -78,7 +78,10 @@ public void read(HInput input) throws IOException, SignatureException
|
||||||
{
|
{
|
||||||
int magic = input.readInt();
|
int magic = input.readInt();
|
||||||
if (magic != settingsMagic) {
|
if (magic != settingsMagic) {
|
||||||
throw new java.io.IOException("Settings magic mismatch: " + java.lang.Integer.toString(magic, 16));
|
setDefault();
|
||||||
|
LogHelper.warning("Settings magic mismatch: " + java.lang.Integer.toString(magic, 16));
|
||||||
|
return;
|
||||||
|
//throw new java.io.IOException();
|
||||||
}
|
}
|
||||||
|
|
||||||
// Launcher settings
|
// Launcher settings
|
||||||
|
|
Loading…
Reference in a new issue