Revert the PR merge

This commit is contained in:
2025-07-29 12:03:33 +02:00
parent 79a6c93f8f
commit e04f0d4ad1
@@ -219,7 +219,8 @@ public class Subserver {
Exception ex = null; Exception ex = null;
try { try {
if (checkpoint) { if (checkpoint) {
start(process.getInputStream(), line -> line.contains("Checkpoint restored")); start(process.getErrorStream(), line -> line.contains("Restore finished successfully."));
Thread.sleep(300);
} else { } else {
start(process.getInputStream(), line -> { start(process.getInputStream(), line -> {
if (line.contains("Loading libraries, please wait")) if (line.contains("Loading libraries, please wait"))