Code

Add grace duration and kill process#487

Code

Merged

phil-opp merged 4 commits intomaindora-rs/dora:mainfrom stop-grace-period-supersededdora-rs/dora:stop-grace-period-supersededCopy head branch name to clipboardApr 30, 2024

+169-62

Commits

Commits on Apr 30, 2024

• Add grace duration and kill process

  haixuanTao

  committed
  b9f67a2

  Copy full SHA for b9f67a2

• Adding long arg for grace duration and adding more grace duration within the CI

  haixuanTao

  committed
  e66b7ce

  Copy full SHA for e66b7ce

• Reply to stop msg immediately to coordinator

  haixuanTao

  committed
  a631caf

  Copy full SHA for a631caf

• Use u32 instead of usize for PID

  haixuanTao

  committed
  9f8bb2c

  Copy full SHA for 9f8bb2c