agw/overleaf-cep
1
0
Fork 0
mirror of https://github.com/yu-i-i/overleaf-cep.git synced 2026-11-14 22:23:42 +01:00
Code Issues Packages Projects Releases Wiki Activity

[git-bridge] Make liveness detect a dead service

Browse Source 
GitOrigin-RevId: 266f6db044eec8b362b07bdfed45f892dd272413
This commit is contained in:
Domagoj Kriskovic
2026-09-17 11:36:59 +00:00
committed by Copybot
parent e0a2af4bf6
commit 655034fb8e
3 changed files with 55 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
services/git-bridge/src/main/java/uk/ac/ic/wlgitbridge/bridge/Bridge.java
+25 -3
View File
@@ -3,6 +3,9 @@ package uk.ac.ic.wlgitbridge.bridge;
import com.google.api.client.auth.oauth2.Credential;
import java.io.File;
import java.io.IOException;
import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.nio.file.Path;
import java.sql.Timestamp;
import java.time.LocalDateTime;
import java.util.*;
@@ -244,9 +247,28 @@ public class Bridge {
public boolean healthCheck() {
try {
dbStore.getNumProjects();
File rootDirectory = new File("/");
if (!rootDirectory.exists()) {
throw new Exception("bad filesystem state, root directory does not exist");
// Check the repo store volume (the PVC mounted at the repo store root), not the
// container root filesystem. A read-only or detached volume must fail the check.
File rootDirectory = repoStore.getRootDirectory();
if (rootDirectory == null || !rootDirectory.isDirectory()) {
throw new Exception("repo store root directory does not exist: " + rootDirectory);
}
// Write and read back a small probe file to confirm the volume is mounted read-write.
// Use the .wlgb directory (excluded from project purging) so we never touch project
// storage. A single fixed-name file is overwritten on each probe (never deleted), so we
// avoid churning through unique files and can't leave orphaned temp files behind. Both
// liveness and readiness probes write identical content, so this is safe under concurrent
// probes.
File wlgbDirectory = new File(rootDirectory, ".wlgb");
if (!wlgbDirectory.isDirectory()) {
throw new Exception("repo store .wlgb directory does not exist: " + wlgbDirectory);
}
Path probeFile = new File(wlgbDirectory, ".health_check").toPath();
byte[] payload = "ok".getBytes(StandardCharsets.UTF_8);
Files.write(probeFile, payload);
byte[] readBack = Files.readAllBytes(probeFile);
if (!Arrays.equals(payload, readBack)) {
throw new Exception("repo store health check file content mismatch: " + probeFile);
}
Log.debug("[HealthCheck] passed");
return true;