Die if --log, --pid, or --dest aren't accessible. Also die if po dir isn't accessible.

2026-04-26 01:02:25 +08:00 · 2012-01-17 13:12:08 -07:00
parent b2bac5c765
commit 6e2b670af6
5 changed files with 76 additions and 10 deletions
@@ -57,6 +57,9 @@ make_pid_file() {

   # PID file doesn't exist, or it does but its pid is stale.
   echo "$pid" > "$file"
+   if [ $? -ne 0 ]; then
+      die "Cannot create or write PID file $file"
+   fi
 }

 remove_pid_file() {