Skip to content

0.2.20 Allow server PID dir overwrite#18

Merged
wouterken merged 1 commit intomainfrom
ft/allow_server_pid_dir_overwrite
Aug 31, 2025
Merged

0.2.20 Allow server PID dir overwrite#18
wouterken merged 1 commit intomainfrom
ft/allow_server_pid_dir_overwrite

Conversation

@wouterken
Copy link
Owner

0.2.20

  • Allow server PID dir overwrite
  • PID write failure is no longer fatal

@wouterken wouterken merged commit 9886831 into main Aug 31, 2025
3 checks passed
@wouterken wouterken deleted the ft/allow_server_pid_dir_overwrite branch August 31, 2025 03:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant