428150e81f · collect the pid of the server on startup, and kill it on shutdown · Updated 3 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?