[FEATURE] UUID в ClientProfile

This commit is contained in:
Gravit 2019-12-05 01:35:36 +07:00
parent 4136f4a6e8
commit 71018a0cdf
No known key found for this signature in database
GPG key ID: 061981E1E85D3216
2 changed files with 12 additions and 0 deletions

View file

@ -15,6 +15,7 @@
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.Collections;
import java.util.UUID;
public final class DownloadClientCommand extends Command {
@ -61,6 +62,7 @@ public void invoke(String... args) throws IOException, CommandException {
}
client.setTitle(dirName);
client.setDir(dirName);
client.setUUID(UUID.randomUUID());
try (BufferedWriter writer = IOHelper.newWriter(IOHelper.resolveIncremental(server.profilesDir,
dirName, "json"))) {
Launcher.gsonManager.configGson.toJson(client, writer);

View file

@ -86,6 +86,8 @@ public String toString() {
@LauncherAPI
private int sortIndex;
@LauncherAPI
private UUID uuid;
@LauncherAPI
private String title;
@LauncherAPI
private String info;
@ -384,11 +386,19 @@ public void setVersion(Version version) {
this.version = version.name;
}
public void setUUID(UUID uuid) {
this.uuid = uuid;
}
@Override
public String toString() {
return title;
}
public UUID getUUID() {
return uuid;
}
@LauncherAPI
public void verify() {
// Version