Update from Git Manager GUI

This commit is contained in:
2026-02-20 18:38:42 +01:00
parent d14646c5ae
commit 535b0aa2f3
5 changed files with 375 additions and 187 deletions

View File

@@ -36,6 +36,9 @@ public class Ticket implements ConfigurationSerializable {
private Timestamp closedAt;
private String closeComment;
// ─── NEU: Soft Delete Flag ───
private boolean playerDeleted = false;
public Ticket() {}
@@ -101,6 +104,11 @@ public class Ticket implements ConfigurationSerializable {
this.forwardedToUUID = fwdObj instanceof UUID ? (UUID) fwdObj : UUID.fromString((String) fwdObj);
this.forwardedToName = (String) map.get("forwardedToName");
}
// ─── NEU: Laden des Soft Delete Flags ───
if (map.containsKey("playerDeleted")) {
this.playerDeleted = (boolean) map.get("playerDeleted");
}
}
// --- NEU: Methode zum Speichern in die YAML (Serialisierung) ---
@@ -140,6 +148,9 @@ public class Ticket implements ConfigurationSerializable {
map.put("forwardedToName", forwardedToName);
}
// ─── NEU: Speichern des Soft Delete Flags ───
map.put("playerDeleted", playerDeleted);
return map;
}
@@ -213,4 +224,8 @@ public class Ticket implements ConfigurationSerializable {
public String getCloseComment() { return closeComment; }
public void setCloseComment(String closeComment) { this.closeComment = closeComment; }
// ─── NEU: Getter/Setter für Soft Delete ───
public boolean isPlayerDeleted() { return playerDeleted; }
public void setPlayerDeleted(boolean playerDeleted) { this.playerDeleted = playerDeleted; }
}