Merge pull request #10 from vdayanand/v/dexfix

fix: Remove corrupted pidfile
tanmaykm · Feb 27, 2023 · 11a79b3 · 11a79b3
2 parents fff6aff + 4dd8520
commit 11a79b3
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/src/Dex.jl b/src/Dex.jl
@@ -14,8 +14,16 @@ mutable struct DexCtx
  ctx = new(workdir, nothing, nothing)
  pfile = pidfile(ctx)
  if isfile(pfile)
- ctx.pid = parse(Int, read(pidfile(ctx), String))
- isrunning(ctx)
+ ctx.pid = try
+ parse(Int, read(pidfile(ctx), String))
+ catch ex
+ @info "removing corrupted pid file"
+ rm(pidfile)
+ rethrow(ex)
+ end
+ if !isrunning(ctx)
+ ctx.pid = nothing
+ end
  end
  ctx
  end